Model Checking MITL Formulae on Timed Automata

DOI10.1145/3383687zbMath1446.68095OpenAlexW3022492366WikidataQ130853223 ScholiaQ130853223MaRDI QIDQ5121277

Marcello M. Bersani, Pierluigi San Pietro, Matteo Rossi, Claudio Menghi

Publication date: 11 September 2020

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3383687

zbMATH Keywords

timed automatamodel checkingsignal-based semantics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Model Checking MITL Formulae on Timed Automata