Efficient omega-Regular Language Containment
No abstract available.
Related papers
- Proving almost-sure termination by omega-regular decomposition PLDI 2020
- Realizing ømega-regular Hyperproperties CAV 2020
- Omega-Regular Model Checking TACAS 2004
- Finitary Winning in omega-Regular Games TACAS 2006
- T(O)RMC: A Tool for (omega)-Regular Model Checking CAV 2008
- Verifying omega-Regular Properties of Markov Chains CAV 2004
- Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems CAV 1995
- Using Language Inference to Verify Omega-Regular Properties TACAS 2005