Jani
From MaRDI portal
Software:52640
swMATH36938MaRDI QIDQ52640FDOQ52640
Author name not available (Why is that?)
Cited In (7)
- 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
- StocHy - automated verification and synthesis of stochastic processes
This page was built for software: Jani
