Author

Vienna

h-index 13 View on Semantic Scholar

We have 2 of 81 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

Evaluating LiDAR Data Sources, Predictor Resolution, and Spatial Random Effects in Bayesian Change-of-Support Models for Forest Inventory

Forest managers need timely stand-level information to support operational planning, particularly in mixed-species, structurally heterogeneous forests facing climate-related disturbance. Model-based estimation combines sparse field data with remotely sensed predictors to estimate growing stock volume (GSV) for small ar...

Arthur Spitta, Andrew O. Finley, C. Gollob et al. · 0 citations

Jul 2026

STLSat - An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas

STLSat, an open-source Rust tool that decides the satisfiability of STL formulas, synthesizes concrete witness signals, and extracts unsatisfiable cores with its tableau engine, allowing users to identify inconsistent subsets of requirements for more effective specification debugging.

Marco Zamponi, Florian Lammel, E. Bartocci et al. · arXiv.org · 0 citations