Robust timed automata
- 1 January 1997
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 331-345
- https://doi.org/10.1007/bfb0014736
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- The theory of hybrid automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- HYTECH: the next generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- The benefits of relaxing punctualityJournal of the ACM, 1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- A theory of timed automataTheoretical Computer Science, 1994
- A determinizable class of timed automataLecture Notes in Computer Science, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsLecture Notes in Computer Science, 1993