Event Clock Automata: From Theory to Practice

DOI10.1007/978-3-642-24310-3_15zbMath1348.68102arXiv1107.4138OpenAlexW1891690172MaRDI QIDQ3172852

Nathalie Sznajder, Gilles Geeraerts, Jean-François Raskin

Publication date: 7 October 2011

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

Full work available at URL: https://arxiv.org/abs/1107.4138

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Event Clock Automata: From Theory to Practice, Equivalence checking and intersection of deterministic timed finite state machines, On regions and zones for event-clock automata, Complexity issues for timeline-based planning over dense time under future and minimal semantics

Uses Software

• Kronos
• Tempo

Cites Work

• Event-clock automata: a determinizable class of timed automata
• A theory of timed automata
• Forward analysis of updatable timed automata
• Event Clock Automata: From Theory to Practice
• Safraless Procedures for Timed Specifications
• Event-Clock Visibly Pushdown Automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item