Robust timed automata

This publication has 10 references indexed in Scilit:

• The theory of hybrid automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• HYTECH: the next generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• Automatic symbolic verification of embedded systems
  IEEE Transactions on Software Engineering, 1996
• The benefits of relaxing punctuality
  Journal of the ACM, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• A determinizable class of timed automata
  Published by Springer Nature ,1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993