Removing ε-transitions in timed automata
From MaRDI portal
Publication:5048956
DOI10.1007/BFb0023491zbMath1498.68135MaRDI QIDQ5048956
Volker Diekert, Paul Gastin, Antoine Petit
Publication date: 9 November 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items
Waiting nets ⋮ Timed automata and recognizability ⋮ Bounded Determinization of Timed Automata with Silent Transitions ⋮ A survey of timed automata for the development of real-time systems ⋮ Equivalence checking and intersection of deterministic timed finite state machines ⋮ Bounded determinization of timed automata with silent transitions ⋮ Waiting Nets: State Classes and Taxonomy ⋮ On regions and zones for event-clock automata
Cites Work
This page was built for publication: Removing ε-transitions in timed automata