On Decidability of Prebisimulation for Timed Automata
Abstract elided by the publisher.
Related papers
- Timed Automata with Asynchronous Processes: Schedulability and Decidability TACAS 2002
- Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata TACAS 2004
- Suspension Automata: A Decidable Class of Hybrid Automata CAV 1994
- Symbolic Optimal Reachability in Weighted Timed Automata CAV 2016
- Uniformity for the Decidability of Hybrid Automata SAS 1996
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021
- Efficient Recursive Subtyping POPL 1993
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach CAV 2019