Temporal logic robustness for general signal classes

DOI10.1145/3302504.3311817OpenAlexW2924373019MaRDI QIDQ5239219

Houssam Abbas, Rahul Mangharam, Yash Vardhan Pant

Publication date: 22 October 2019

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

Full work available at URL: https://repository.upenn.edu/mlab_papers/117

zbMATH Keywords

samplingrobustnesstemporal logicmonitoringmulti-agent

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

Sampling polynomial trajectories for LTL verification

This page was built for publication: Temporal logic robustness for general signal classes