Efficient Monitoring of omega-Languages
Abstract elided by the publisher.
Related papers
- Monitoring the Full Range of omega-Regular Properties of Stochastic Systems VMCAI 2009
- Efficient omega-Regular Language Containment CAV 1992
- Proving almost-sure termination by omega-regular decomposition PLDI 2020
- Efficient Robust Monitoring for STL CAV 2013
- Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering ECOOP 2014
- Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic VMCAI 2024
- Stutter-Invariant Languages, omega-Automata, and Temporal Logic CAV 1999
- Omega-Regular Model Checking TACAS 2004