On Continuous Timed Automata with Input-Determined Guards
From MaRDI portal
Publication:5386000
DOI10.1007/11944836_34zbMath1177.68136MaRDI QIDQ5386000
Pavithra Prabhakar, Deepak D'Souza, Fabrice Chevalier
Publication date: 17 April 2008
Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11944836_34
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Related Items
A survey of timed automata for the development of real-time systems, Automata and logics over finitely varying functions