Timed tree automata with an application to temporal logic.

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

zbMATH Keywords

finite automata\(\omega\)-treestimed \(\omega\)-sequences

Mathematics Subject Classification ID

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