No. Title Author Year
1 Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set D'Costa, Julian et al. 2022
2 Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications Baier, Christel et al. 2022
3 On Positivity and Minimality for Second-Order Holonomic Sequences Kenison, George et al. 2021
4 On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets D'Costa, Julian et al. 2021
5 The Orbit Problem for Parametric Linear Dynamical Systems Baier, Christel et al. 2021
6 How Fast Can You Escape a Compact Polytope? D'Costa, Julian et al. 2020
7 Reachability in Dynamical Systems with Rounding Baier, Christel et al. 2020
8 Probabilistic Disclosure: Maximisation vs. Minimisation Bérard, Béatrice et al. 2018
9 Diagnosis in Infinite-State Probabilistic Systems Bertrand, Nathalie et al. 2016
10 Simple Priced Timed Games are not That Simple Brihaye, Thomas et al. 2015
11 Foundation of Diagnosis and Predictability in Probabilistic Systems Bertrand, Nathalie et al. 2014
Current Page :
Number of result pages: 1
Number of documents: 11

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