Cited in
(only showing first 100 items - show all)- On the Complexity of Reachability in Parametric Markov Decision Processes
- Sylvan
- Formal abstraction and synthesis of parametric stochastic processes
- Lumpability for uncertain continuous-time Markov chains
- Enforcing almost-sure reachability in POMDPs
- Safe learning for near-optimal scheduling
- Are parametric Markov chains monotonic?
- Sequential convex programming for the efficient verification of parametric MDPs
- The complexity of reachability in parametric Markov decision processes
- Counterexample-guided inductive synthesis for probabilistic systems
- The big-O problem
- Synthesizing optimal bias in randomized self-stabilization
- Exact quantitative probabilistic model checking through rational search
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- Simple strategies in multi-objective MDPs
- Galileo
- GAVS
- PRISM
- MoDeST
- RESTART
- POMDP
- LiQuor
- MRMC
- Petruchio
- PASS
- CEGAR
- MCQueue
- BuDDy
- FODD-Planner
- DSPNexpress
- MultiVeStA
- PMaude
- PVeStA
- COSMOS
- PARAM
- MFE
- ITP
- DDebugger
- GIST
- QUASY
- Ymer
- PSMaude
- APMC
- DFTCalc
- Konclude
- PRALINE
- PRISM-games
- Rapture
- StochKit2
- Hakaru
- ORME
- SchedCAT
- NetKAT
- Prophet
- Multi-cost bounded tradeoff analysis in MDP
- EVE
- GPU-PRISM
- PESSOA
- ProbReach
- SHAVE
- Rabinizer
- AI-Toolbox
- ProbNetKAT
- FAUST2
- MCMAS-SLK
- Aligator.jl
- JScience
- BWIBots
- SamIam
- Anglican
- kv
- EAGLE
- PRISM-PSY
- PROPhESY
- prob-black-reach
- MultiGain
- AMYTISS
- dtControl
- Jani
- iscasMc
- StocHy
- Rely
- PAYNT
- An algebraic method to fidelity-based model checking over quantum Markov chains
- Scenario-based verification of uncertain MDPs
- Moment-based analysis of Bayesian network properties
- Safety Gym
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Enhancing probabilistic model checking with ontologies
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
- Abstract model repair for probabilistic systems
- AALpy
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Life is random, time is not: Markov decision processes with window objectives
- Deep statistical model checking
- Delag
- Accelerating SpMV multiplication in probabilistic model checkers using GPUs
- scientific article; zbMATH DE number 7649915 (Why is no real title available?)
- Out of control: reducing probabilistic models by control-state elimination
- Of cores: a partial-exploration framework for Markov decision processes
This page was built for software: Storm
