Specifying timed state sequences in powerful decidable logics and timed automata

This publication has 12 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• A theory of timed automata
  Published by Elsevier ,2002
• Models for reactivity
  Acta Informatica, 1993
• Logical definability on infinite traces
  Published by Springer Nature ,1993
• A calculus of durations
  Information Processing Letters, 1991
• Real-Time Logics: Complexity and Expressiveness,
  Published by Defense Technical Information Center (DTIC) ,1990
• A really temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1989
• Real-time programming and asynchronous message passing
  Published by Association for Computing Machinery (ACM) ,1983
• Generalized finite automata theory with an application to a decision problem of second-order logic
  Theory of Computing Systems, 1968
• Weak Second‐Order Arithmetic and Finite Automata
  Mathematical Logic Quarterly, 1960