research
∙
05/03/2023
History-deterministic Vector Addition Systems
We consider history-determinism, a restricted form of non-determinism, f...
share
research
∙
04/11/2023
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
We show that the big-O problem for max-plus automata is decidable and PS...
research
∙
11/08/2022
Model Checking Linear Dynamical Systems under Floating-point Rounding
We consider linear dynamical systems under floating-point rounding. In t...
research
∙
05/26/2022
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
We consider linear cost-register automata (equivalent to weighted automa...
research
∙
04/28/2022
Skolem Meets Schanuel
The celebrated Skolem-Mahler-Lech Theorem states that the set of zeros o...
research
∙
06/01/2021
Porous Invariants
We introduce the notion of porous invariants for multipath (or branching...
research
∙
04/21/2021
The Orbit Problem for Parametric Linear Dynamical Systems
We study a parametric version of the Kannan-Lipton Orbit Problem for lin...
research
∙
09/28/2020
Reachability in Dynamical Systems with Rounding
We consider reachability in dynamical systems with discrete linear updat...
research
∙
07/15/2020
The Big-O Problem for Labelled Markov Chains and Weighted Automata
Given two weighted automata, we consider the problem of whether one is b...
research
∙
11/08/2019
The Complexity of Verifying Loop-free Programs as Differentially Private
We study the problem of verifying differential privacy for loop-free pro...
research
∙
11/08/2019
The Complexity of Verifying Circuits as Differentially Private
We study the problem of verifying differential privacy for straight line...
research
∙
07/26/2018