Author:
Bruse Florian,Lange Martin
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference29 articles.
1. Is your model checker on time? On the complexity of model checking for timed modal logics;Aceto;J. Log. Algebraic Methods Program.,2002
2. Model-checking for real-time systems;Alur,1990
3. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
4. Decision problems for timed automata: a survey;Alur,2004
5. Strategic (timed) computation tree logic;Arias,2023