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

logic in computer sciencetemporal logictimed automataverification of real-time systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1696511
• scientific article; zbMATH DE number 1400049
• 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)

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

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)