Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking
No abstract available.
Related papers
- Global PAC Bounds for Learning Discrete Time Markov Chains CAV 2020
- GPUexploresc prob: Markov Chain State Space Construction and Verification with GPUs TACAS 2025
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Verifying Pufferfish Privacy in Hidden Markov Models VMCAI 2022
- PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP CAV 2022
- Model Checking Continuous-Time Markov Chains by Transient Analysis CAV 2000
- Finding Provably Optimal Markov Chains TACAS 2021
- Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains TACAS 2024