research
∙
01/23/2023
Reachability in Injective Piecewise Affine Maps
One of the most basic, longstanding open problems in the theory of dynam...
share
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
∙
10/27/2020
Deciding ω-Regular Properties on Linear Recurrence Sequences
We consider the problem of deciding ω-regular properties on infinite tra...
research
∙
04/24/2020
Invariants for Continuous Linear Dynamical Systems
Continuous linear dynamical systems are used extensively in mathematics,...
research
∙
02/21/2020
Extensions of ω-Regular Languages
We consider extensions of monadic second order logic over ω-words, which...
research
∙
01/21/2019
MSO+nabla is undecidable
This paper is about an extension of monadic second-order logic over infi...
research
∙
04/13/2018