Using Language Inference to Verify Omega-Regular Properties
Abstract elided by the publisher.
Related papers
- Verifying omega-Regular Properties of Markov Chains CAV 2004
- Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems CAV 1995
- Monitoring the Full Range of omega-Regular Properties of Stochastic Systems VMCAI 2009
- Synthesis of Temporal Causality CAV 2024
- Supermartingale Certificates for Quantitative Omega-Regular Verification and Control CAV 2025
- Omega-Regular Objectives in Model-Free Reinforcement Learning TACAS 2019
- Temporal verification of higher-order functional programs POPL 2016
- Proving almost-sure termination by omega-regular decomposition PLDI 2020