Formal Modeling and Analysis of Timed Systems
From MaRDI portal
Publication:5897954
DOI10.1007/11603009zbMath1175.68238OpenAlexW2493457341MaRDI QIDQ5897954
Luca de Alfaro, Bo Thomas Adler, Marco Faella
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11603009
Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) Formal languages and automata (68Q45)
Related Items (3)
Automata-theoretic decision of timed games ⋮ A game-theoretic approach to fault diagnosis and identification of hybrid systems ⋮ Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
This page was built for publication: Formal Modeling and Analysis of Timed Systems