Adding dense-timed stack to integer reset timed automata

DOI10.1007/978-3-319-67089-8_2zbMATH Open1478.68119OpenAlexW2745925419MaRDI QIDQ1685773FDOQ1685773

Authors: Devendra Bhave, Shibashis Guha 

Publication date: 20 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67089-8_2

Recommendations

• Dense-timed pushdown automata
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• Timed pushdown automata and branching vector addition systems
• Timed Pushdown Automata Revisited
• scientific article; zbMATH DE number 1796157
• scientific article; zbMATH DE number 1773082
• scientific article; zbMATH DE number 5587265
• On Interleaving in Timed Automata
• Integer Parameter Synthesis for Timed Automata
• Augmenting the discrete timed automaton with other data structures.

zbMATH Keywords

visibly pushdown automatalogical characterizationdense-timed stackinteger reset timed automataMSO

Mathematics Subject Classification ID

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

Cited In (2)

• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions

This page was built for publication: Adding dense-timed stack to integer reset timed automata

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