research
∙
11/25/2022
strategFTO: Untimed control for timed opacity
We introduce a prototype tool strategFTO addressing the verification of ...
share
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
∙
07/04/2022
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set
We study the Escape Problem for discrete-time linear dynamical systems o...
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
∙
07/05/2021
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets
We study the computational complexity of the Escape Problem for discrete...
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
∙
09/07/2020
One-Clock Priced Timed Games with Arbitrary Weights
Priced timed games are two-player zero-sum games played on priced timed ...
research
∙
07/23/2020
On Positivity and Minimality for Second-Order Holonomic Sequences
An infinite sequence ⟨u_n⟩_n∈ℕ of real numbers is holonomic (also known ...
research
∙
07/18/2019