Timed tree automata with an application to temporal logic.
From MaRDI portal
Publication:1608932
DOI10.1007/s002360100067zbMath1033.68065OpenAlexW2017147035MaRDI QIDQ1608932
Margherita Napoli, Salvatore La Torre
Publication date: 14 August 2002
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002360100067
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Model Checking Real-Time Systems ⋮ Automata-theoretic decision of timed games ⋮ Finite automata on timed \(\omega\)-trees ⋮ Parametric metric interval temporal logic