Automata and logics over signals

DOI10.1142/9789814271059_0018MaRDI QIDQ4907871zbMATH OpenOpenAlexFDO

Authors Fabrice Chevalier, Deepak D'Souza, Raj Mohan M., Pavithra Prabhakar

Publication date 26 February 2013

Published in Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/06932b284369275a4d94df3576840887a4e74cd7

zbMATH Keywords

metric temporal logicmonadic second-order logicautomata and logicword languageslanguages of finitely varying functions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Recommendations

• Automata and logics over finitely varying functions
• Counter-Free Input-Determined Timed Automata
• scientific article; zbMATH DE number 5872401
• Finite variability interpretation of monadic logic of order
• On Continuous Timed Automata with Input-Determined Guards

Cited in

(2)

• scientific article; zbMATH DE number 3917721 (Why is no real title available?)
• Finite variability interpretation of monadic logic of order

This page was built for publication: Automata and logics over signals

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