Evrostos
DOI10.1145/3302504.3311812OpenAlexW2937186083MaRDI QIDQ5239240FDOQ5239240
Authors: Tzanis Anevlavis, Daniel Neider, Matthew Phillipe, Paulo Tabuada
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://doi.org/10.1145/3302504.3311812
Recommendations
- Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
- Robust linear temporal logic
- Hardware and Software, Verification and Testing
- Robust, expressive, and quantitative linear temporal logics: pick any two for free
- From LTL to rLTL monitoring: improved monitorability through robust semantics
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)
Cited In (3)
This page was built for publication: Evrostos
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5239240)