The following pages link to Computer Aided Verification (Q5312899):
Displayed 4 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)
- On Decision Problems for Probabilistic Büchi Automata (Q5458366) (← links)