swMATH17417MaRDI QIDQ29276FDOQ29276
Author name not available (Why is that?)
Official website: https://www.stormchecker.org
Source code repository: https://github.com/moves-rwth/storm
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- AALpy
- Life is random, time is not: Markov decision processes with window objectives
- Deep statistical model checking
- Robustly complete finite-state abstractions for verification of stochastic systems
- Multi-scale verification of distributed synchronisation
- Delag
- Accelerating SpMV multiplication in probabilistic model checkers using GPUs
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- Quantitative controller synthesis for consumption Markov decision processes
- Quantifying the resiliency of fail-operational real-time networked control systems
- Solving systems of bilinear equations for transition rate reconstruction
- Fine-tuning the odds in Bayesian networks
- Out of control: reducing probabilistic models by control-state elimination
- Of cores: a partial-exploration framework for Markov decision processes
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
- PRINSYS
- Probabilistic analysis of dynamic fault trees using HOL theorem proving
- Title not available (Why is that?)
- FACT
- On computing the total variation distance of hidden Markov models
- Task-aware verifiable RNN-based policies for partially observable Markov decision processes
- Counterexample-guided inductive synthesis for probabilistic systems
- Of cores: a partial-exploration framework for Markov decision processes
- Lifted model checking for relational MDPs
- Model checking hyperproperties for Markov decision processes
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
- 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
- The complexity of reachability in parametric Markov decision processes
- Sylvan
- On the Complexity of Reachability in Parametric Markov Decision Processes
- Scenario-based verification of uncertain MDPs
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- An algebraic method to fidelity-based model checking over quantum Markov chains
- The big-O problem
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Are parametric Markov chains monotonic?
- Sequential convex programming for the efficient verification of parametric MDPs
- Synthesizing optimal bias in randomized self-stabilization
- Simple strategies in multi-objective MDPs
- Galileo
- GAVS
- 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
- Title not available (Why is that?)
This page was built for software: Storm