Automata and logics over signals

DOI10.1142/9789814271059_0018zbMATH Open1256.68099OpenAlexW2401099359MaRDI QIDQ4907871FDOQ4907871

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

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

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)

Cited In (2)

• Title not available (Why is that?)
• 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)