research
∙
08/02/2023
Skolem Meets Bateman-Horn
The Skolem Problem asks to determine whether a given integer linear recu...
share
research
∙
01/23/2023
Reachability in Injective Piecewise Affine Maps
One of the most basic, longstanding open problems in the theory of dynam...
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
∙
06/22/2022
What's Decidable about Discrete Linear Dynamical Systems?
We survey the state of the art on the algorithmic analysis of discrete l...
research
∙
04/28/2022
Skolem Meets Schanuel
The celebrated Skolem-Mahler-Lech Theorem states that the set of zeros o...
research
∙
04/26/2022
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems
We study fundamental reachability problems on pseudo-orbits of linear dy...
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
∙
10/27/2020
Deciding ω-Regular Properties on Linear Recurrence Sequences
We consider the problem of deciding ω-regular properties on infinite tra...
research
∙
09/28/2020
Reachability in Dynamical Systems with Rounding
We consider reachability in dynamical systems with discrete linear updat...
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/06/2020
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems
Consider a discrete dynamical system given by a square matrix M ∈ℚ^d × d...
research
∙
06/12/2020
On the Skolem Problem and Prime Powers
The Skolem Problem asks, given a linear recurrence sequence (u_n), wheth...
research
∙
04/24/2020
Invariants for Continuous Linear Dynamical Systems
Continuous linear dynamical systems are used extensively in mathematics,...
research
∙
07/18/2019
On the Monniaux Problem in Abstract Interpretation
The Monniaux Problem in abstract interpretation asks, roughly speaking, ...
research
∙
03/04/2019
Sequential Relational Decomposition
The concept of decomposition in computer science and engineering is cons...
research
∙
02/27/2019
Algebraic Invariants for Linear Hybrid Automata
We exhibit an algorithm to compute the strongest algebraic (or polynomia...
research
∙
02/25/2019
On reachability problems for low dimensional matrix semigroups
We consider the Membership and the Half-space Reachability Problems for ...
research
∙
02/20/2019
Termination of Linear Loops over the Integers
We consider the problem of deciding termination of single-path while loo...
research
∙
02/20/2019
On Termination of Integer Linear Loops
We consider the problem of determining termination of single-path loops ...
research
∙
06/20/2018
Effective Divergence Analysis for Linear Recurrence Sequences
We study the growth behaviour of rational linear recurrence sequences. W...
research
∙
05/29/2018
Convex Language Semantics for Nondeterministic Probabilistic Automata
We explore language semantics for automata combining probabilistic and n...
research
∙
03/07/2018
On the Expressiveness and Monitoring of Metric Temporal Logic
It is known that Metric Temporal Logic (MTL) is strictly less expressive...
research
∙
02/26/2018
O-Minimal Invariants for Linear Loops
The termination analysis of linear loops plays a key role in several are...
research
∙
02/19/2018
On the Decidability of Reachability in Linear Time-Invariant Systems
We consider the decidability of state-to-state reachability in linear ti...
research
∙
02/06/2018
Polynomial Invariants for Affine Programs
We exhibit an algorithm to compute the strongest polynomial (or algebrai...
research
∙
01/09/2017