swMATH36938MaRDI QIDQ52640FDOQ52640
Author name not available (Why is that?)
Official website: https://pureadmin.qub.ac.uk/ws/portalfiles/portal/161670364/paper.pdf
Cited In (22)
- Counterexample-guided inductive synthesis for probabilistic systems
- Deep statistical model checking
- Enforcing almost-sure reachability in POMDPs
- Tweaking the odds in probabilistic timed automata
- Fine-tuning the odds in Bayesian networks
- Out of control: reducing probabilistic models by control-state elimination
- Galileo
- PASS
- DSPNexpress
- gmm++
- PARAM
- DDebugger
- PSMaude
- DFTCalc
- Storm
- SamIam
- PRISM-PSY
- PROPhESY
- iscasMc
- PAYNT
- StocHy - automated verification and synthesis of stochastic processes
- FACT
This page was built for software: Jani
