Symbolic Robustness Analysis of Timed Automata

DOI10.1007/11867340_11zbMath1141.68429OpenAlexW2132676597MaRDI QIDQ3511231

Piotr Kordy, Conrado Daws

Publication date: 8 July 2008

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

Full work available at URL: https://doi.org/10.1007/11867340_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (5)

Shrinking timed automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ Robust Analysis of Timed Automata Via Channel Machines ⋮ Robust safety of timed automata

This page was built for publication: Symbolic Robustness Analysis of Timed Automata