Automata and logics over finitely varying functions
From MaRDI portal
Publication:636272
DOI10.1016/j.apal.2009.07.007zbMath1221.03031OpenAlexW2136951784MaRDI QIDQ636272
Deepak D'Souza, Pavithra Prabhakar, Fabrice Chevalier, M. Raj Mohan
Publication date: 26 August 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2009.07.007
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The algorithmic analysis of hybrid systems
- The monadic theory of order
- A theory of timed automata
- Star free expressions over the reals
- Finite variability interpretation of monadic logic of order
- Timer formulas and decidable metric temporal logic
- Weak Second‐Order Arithmetic and Finite Automata
- Counter-Free Input-Determined Timed Automata
- The benefits of relaxing punctuality
- From finite automata toward hybrid systems (Extended abstract)
- On finite monoids having only trivial subgroups
- On Continuous Timed Automata with Input-Determined Guards
- Decidability of Second-Order Theories and Automata on Infinite Trees
This page was built for publication: Automata and logics over finitely varying functions