Nested Timed Automata with Frozen Clocks
From MaRDI portal
Publication:2945595
DOI10.1007/978-3-319-22975-1_13zbMath1465.68160OpenAlexW2185756575MaRDI QIDQ2945595
Shoji Yuen, Mizuhito Ogawa, Guo Qiang Li
Publication date: 14 September 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-22975-1_13
Cites Work
- Unnamed Item
- Unnamed Item
- What's decidable about hybrid automata?
- A theory of timed automata
- Symbolic model checking for real-time systems
- Model checking of systems with many identical timed processes
- Well-Structured Pushdown Systems
- Nested Timed Automata
- Dense-Timed Pushdown Automata
- What's decidable about recursive hybrid automata?
- Hyper-Ackermannian bounds for pushdown vector addition systems
- Recursive Timed Automata
- Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata