On the power of non-observable actions in timed automata

DOI10.1007/3-540-60922-9_22zbMath1379.68216OpenAlexW170566065MaRDI QIDQ4593936

Béatrice Bérard, Paul Gastin, Antoine Petit

Publication date: 16 November 2017

Published in: STACS 96 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60922-9_22

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items

Timed recursive state machines: expressiveness and complexity, Updatable timed automata, Removing ε-transitions in timed automata, Model Checking Real-Time Systems, A survey of timed automata for the development of real-time systems, Equivalence checking and intersection of deterministic timed finite state machines, Updatable Timed Automata with Additive and Diagonal Constraints, Parameter synthesis for hierarchical concurrent real-time systems, Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata, On the regularization of Zeno hybrid automata, Model checking weighted integer reset timed automata, A menagerie of timed automata