A Logical Characterisation of Event Clock Automata

DOI10.1142/S0129054103001923zbMATH Open1101.68647OpenAlexW2143622351MaRDI QIDQ5696929FDOQ5696929

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

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

zbMATH Keywords

timed automatalogic in computer sciencetemporal logicverification of real-time systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

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
• Learning Meets Verification
• Event-clock automata: a determinizable class of timed automata
• 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
• Title not available (Why is that?)
• Memory event clocks
• On regions and zones for event-clock automata
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)