Verifying omega-Regular Properties of Markov Chains
No abstract available.
Related papers
- Verifying omega-Regular Properties for a Subclass of Linear Hybrid Systems CAV 1995
- Using Language Inference to Verify Omega-Regular Properties TACAS 2005
- Omega-Regular Objectives in Model-Free Reinforcement Learning TACAS 2019
- A Hierarchy of Supermartingales for ω-Regular Verification PLDI 2026
- A Probabilistic Logic for Verifying Continuous-time Markov Chains TACAS 2022
- Distributed Markov Chains VMCAI 2015
- Monitoring the Full Range of omega-Regular Properties of Stochastic Systems VMCAI 2009
- Verifying Continuous Time Markov Chains CAV 1996