STLInspector: STL Validation with Guarantees
Abstract elided by the publisher.
Related papers
- STLmc: Robust STL Model Checking of Hybrid Systems Using SMT CAV 2022
- Bounded model checking of signal temporal logic properties using syntactic separation POPL 2019
- Efficient Robust Monitoring for STL CAV 2013
- Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes TACAS 2022
- Specification and Efficient Monitoring Beyond STL TACAS 2019
- Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications CAV 2024
- Online Causation Monitoring of Signal Temporal Logic CAV 2023
- Garbage Collection in Generic Libraries ISMM 1998