Parameter Invariant Monitoring for Signal Temporal Logic

DOI10.1145/3178126.3178140zbMath1409.68174OpenAlexW2795668711MaRDI QIDQ4561452

Nima Roohi, Insup Lee, Ramneet Kaur, Oleg Sokolsky, James Weimer

Publication date: 6 December 2018

Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)

Full work available at URL: https://repository.upenn.edu/cis_papers/836

zbMATH Keywords

monitoringruntime verificationsignal temporal logicparameter invariant test

Mathematics Subject Classification ID

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

This page was built for publication: Parameter Invariant Monitoring for Signal Temporal Logic