- Record: found
- Abstract: not found
- Book Chapter: not found
Formal Methods for the Design of Real-Time Systems
Decision Problems for Timed Automata: A Survey
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references29
- Record: found
- Abstract: not found
- Article: not found
What's Decidable about Hybrid Automata?
Thomas Henzinger, Peter W. Kopke, Anuj Puri … (1998)
- Record: found
- Abstract: not found
- Article: not found
Symbolic Model Checking for Real-Time Systems
J. Sifakis, T.A. Henzinger, S. Yovine … (1994)
- Record: found
- Abstract: not found
- Book Chapter: not found
Minimum-Cost Reachability for Priced Time Automata
Gerd Behrmann, Ansgar Fehnker, Thomas Hune … (2001)