Behavioral Cartography of Timed Automata

DOI10.1007/978-3-642-15349-5_5zbMath1287.68089OpenAlexW1574769711MaRDI QIDQ3584962

Étienne André, Laurent Fribourg

Publication date: 31 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15349-5_5

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

\textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability ⋮ Parameter synthesis for probabilistic timed automata using stochastic game abstractions ⋮ Parameter synthesis for hierarchical concurrent real-time systems ⋮ An extension of the inverse method to probabilistic timed automata

Uses Software

• Apron
• IMITATOR
• PRISM
• TREX
• SPIN
• HyTech
• Uppaal

This page was built for publication: Behavioral Cartography of Timed Automata