Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5703961
DOI10.1007/b106766zbMath1078.68070OpenAlexW2502452588MaRDI QIDQ5703961
Salvatore La Torre, P. Madhusudan, Rajeev Alur
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106766
Related Items (10)
Timed hyperproperties ⋮ Time-Bounded Verification ⋮ Predictable real-time software synthesis ⋮ Model checking weighted integer reset timed automata ⋮ A menagerie of timed automata ⋮ The compound interest in relaxing punctuality ⋮ Robustness of temporal logic specifications for continuous-time signals ⋮ Robust Analysis of Timed Automata Via Channel Machines ⋮ Probabilistic and Topological Semantics for Timed Automata ⋮ Robust safety of timed automata
This page was built for publication: Hybrid Systems: Computation and Control
