Durations and parametric model-checking in timed automata

DOI10.1145/1342991.1342996zbMath1367.68183OpenAlexW2088028681MaRDI QIDQ5277801

Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin

Publication date: 12 July 2017

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

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

zbMATH Keywords

timed automatamodel checkingPresburger arithmetic

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Parametric metric interval temporal logic ⋮ Unnamed Item

This page was built for publication: Durations and parametric model-checking in timed automata