Shrinking Timed Automata.
From MaRDI portal
Publication:2911615
DOI10.4230/LIPIcs.FSTTCS.2011.90zbMath1246.68159OpenAlexW2242084152MaRDI QIDQ2911615
Nicolas Markey, Patricia Bouyer, Ocan Sankur
Publication date: 31 August 2012
Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.90
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Robust Model-Checking of Timed Automata via Pumping in Channel Machines ⋮ Unnamed Item ⋮ Robust synthesis for real-time systems ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ Unnamed Item
This page was built for publication: Shrinking Timed Automata.
