Storm
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Galileo
- GAVS
- PAYNT
- Safety Gym
- Sylvan
- PRISM
- MoDeST
- RESTART
- POMDP
- MRMC
- LiQuor
- Petruchio
- PASS
- CEGAR
- Abstract model repair for probabilistic systems
- MCQueue
- BuDDy
- FODD-Planner
- Counterexample-guided inductive synthesis for probabilistic systems
- DSPNexpress
- PMaude
- PVeStA
- MultiVeStA
- Enhancing probabilistic model checking with ontologies
- Moment-based analysis of Bayesian network properties
- An algebraic method to fidelity-based model checking over quantum Markov chains
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Lifted model checking for relational MDPs
- Model checking hyperproperties for Markov decision processes
- Robustly complete finite-state abstractions for verification of stochastic systems
- Accelerating SpMV multiplication in probabilistic model checkers using GPUs
- Synthesizing optimal bias in randomized self-stabilization
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Ymer
- 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
- PARAM
- MFE
- QUASY
- ITP
- Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
- GIST
- DDebugger
- Multi-cost bounded tradeoff analysis in MDP
- PSMaude
- Multi-scale verification of distributed synchronisation
- Exact quantitative probabilistic model checking through rational search
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- APMC
- Konclude
- DFTCalc
- PRALINE
- PRISM-games
- COSMOS
- Rapture
- StochKit2
- Hakaru
- The complexity of reachability in parametric Markov decision processes
- Value iteration for simple stochastic games: stopping criterion and learning algorithm
- Quantitative controller synthesis for consumption Markov decision processes
- ORME
- SchedCAT
- NetKAT
- Prophet
- GPU-PRISM
- PESSOA
- ProbReach
- SHAVE
- Rabinizer
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
- Are parametric Markov chains monotonic?
- Sequential convex programming for the efficient verification of parametric MDPs
- AI-Toolbox
- ProbNetKAT
- FAUST2
- MCMAS-SLK
- Aligator.jl
- JScience
- BWIBots
- SamIam
- Anglican
- kv
- EAGLE
- EVE
- PRISM-PSY
- PROPhESY
- prob-black-reach
- On computing the total variation distance of hidden Markov models
- Task-aware verifiable RNN-based policies for partially observable Markov decision processes
- Scenario-based verification of uncertain MDPs
- Simple strategies in multi-objective MDPs
- Deep statistical model checking
- The big-O problem
- The theory of traces for systems with nondeterminism, probability, and termination
- Of cores: a partial-exploration framework for Markov decision processes
- Quantifying the resiliency of fail-operational real-time networked control systems
- Life is random, time is not: Markov decision processes with window objectives
- AMYTISS
- StocHy
This page was built for software: Storm
