What's decidable about recursive hybrid automata?
From MaRDI portal
Publication:2988912
DOI10.1145/2728606.2728624zbMath1364.68254OpenAlexW2083004834MaRDI QIDQ2988912
Ashutosh Trivedi, Lakshmi Manasa, Shankara Narayanan Krishna
Publication date: 19 May 2017
Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2728606.2728624
Related Items (3)
Nested Timed Automata with Frozen Clocks ⋮ Reachability relations of timed pushdown automata ⋮ Unnamed Item
Uses Software
Cites Work
This page was built for publication: What's decidable about recursive hybrid automata?