Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
Abstract elided by the publisher.
Related papers
- Temporal verification of higher-order functional programs POPL 2016
- Monitoring the Full Range of omega-Regular Properties of Stochastic Systems VMCAI 2009
- Supermartingale Certificates for Quantitative Omega-Regular Verification and Control CAV 2025
- Doomsday Equilibria for Omega-Regular Games VMCAI 2014
- Decoupled Planning for Multiple Omega-Regular Objectives CAV 2026
- Stochastic Omega-Regular Verification and Control with Supermartingales CAV 2024
- ROLL 1.0: \omega -Regular Language Learning Library TACAS 2019
- Omega-Regular Objectives in Model-Free Reinforcement Learning TACAS 2019