No. Title Author Year
1 Decision Questions for Probabilistic Automata on Small Alphabets Bell, Paul C. et al. 2021
2 Linear-Time Model Checking Branching Processes Kiefer, Stefan et al. 2021
3 Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs Bell, Paul C. et al. 2020
4 On Reachability Problems for Low-Dimensional Matrix Semigroups Colcombet, Thomas et al. 2019
5 On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond Bell, Paul C. et al. 2019
6 Membership Problem in GL(2, Z) Extended by Singular Matrices Potapov, Igor et al. 2017
7 Vector Reachability Problem in SL(2, Z) Potapov, Igor et al. 2016
Current Page :
Number of result pages: 1
Number of documents: 7

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI