Funder
FRS-FNRS
École Normale Supérieure
Agence nationale de la recherche
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference48 articles.
1. Decisive Markov chains;Abdulla;Log. Methods Comput. Sci.,2007
2. When are stochastic transition systems tameable?;Bertrand;J. Log. Algebraic Methods Program.,2018
3. On o-minimal hybrid systems;Brihaye,2004
4. Reachability problems on extended o-minimal hybrid automata;Gentilini,2005
5. O-minimal hybrid systems;Lafferriere;Math. Control Signals Syst.,2000