A Logical Characterisation of Event Clock Automata

DOI10.1142/S0129054103001923MaRDI QIDQ5696929zbMATH OpenOpenAlexFDO

Authors Deepak D'Souza

Publication date 19 October 2005

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054103001923

zbMATH Keywords

timed automatalogic in computer sciencetemporal logicverification of real-time systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1696511
• Publication:4939602
• From timed automata to logic -- and back
• On characteristic formulae for event-recording automata
• Event-clock automata: a determinizable class of timed automata

Cites work

• A theory of timed automata
• Real-time logics: Complexity and expressiveness
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(16)

• A survey of timed automata for the development of real-time systems
• Event-clock automata: a determinizable class of timed automata
• Learning Meets Verification
• Event clock message passing automata: a logical characterization and an emptiness checking algorithm
• Automata and Logics for Timed Message Sequence Charts
• From timed automata to logic -- and back
• scientific article; zbMATH DE number 1400049 (Why is no real title available?)
• On regions and zones for event-clock automata
• Memory event clocks
• Event-Clock Visibly Pushdown Automata
• On characteristic formulae for event-recording automata
• MSO logics for weighted timed automata
• Logics meet 1-clock alternating timed automata
• Event clock automata: from theory to practice
• scientific article; zbMATH DE number 1696511 (Why is no real title available?)
• scientific article; zbMATH DE number 1390065 (Why is no real title available?)

This page was built for publication: A Logical Characterisation of Event Clock Automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5696929)