4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2021★ 4 cited
The Orbit Problem for Parametric Linear Dynamical Systems
Christel Baier, Florian Funke, Simon Jantsch +7
We study a parametric version of the Kannan-Lipton Orbit Problem for linear dynamical systems. We show decidability in the case of one parameter and Skolem-hardness with two or mor…
cs.LO2016
Markov Chains and Unambiguous Automata
Christel Baier, Stefan Kiefer, Joachim Klein +2
Unambiguous automata are nondeterministic automata in which every word has at most one accepting run. In this paper we give a polynomial-time algorithm for model checking discrete-…