Jani
From MaRDI portal
Software:52640
No author found.
Related Items (7)
Deep Statistical Model Checking ⋮ Tweaking the odds in probabilistic timed automata ⋮ Enforcing almost-sure reachability in POMDPs ⋮ Fine-tuning the odds in Bayesian networks ⋮ Out of control: reducing probabilistic models by control-state elimination ⋮ Counterexample-guided inductive synthesis for probabilistic systems ⋮ StocHy - automated verification and synthesis of stochastic processes
This page was built for software: Jani
