The following pages link to Computer Aided Verification (Q5312899):
Displayed 10 items.
- Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- A note on the attractor-property of infinite-state Markov chains (Q1045897) (← links)
- Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
- (Q5021011) (← links)
- (Q5092446) (← links)
- Model Checking Omega-regular Properties for Quantum Markov Chains (Q5111649) (← links)
- On Decision Problems for Probabilistic Büchi Automata (Q5458366) (← links)
- On the power of finite ambiguity in Büchi complementation (Q6040669) (← links)
- Markov chains and unambiguous automata (Q6098148) (← links)