Robust Model Checking of Timed Automata under Clock Drifts

DOI10.1145/3049797.3049821zbMath1366.68152OpenAlexW2607489572MaRDI QIDQ5275328

Nima Roohi, Mahesh Viswanathan, Pavithra Prabhakar

Publication date: 11 July 2017

Published in: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

zbMATH Keywords

timed automatarobust model checkingomega-regular model checking

Mathematics Subject Classification ID

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

Related Items (1)

Relating syntactic and semantic perturbations of hybrid automata

This page was built for publication: Robust Model Checking of Timed Automata under Clock Drifts