Storm

swMATH17417MaRDI QIDQ29276FDOQ29276

Author name not available (Why is that?)

Source code repository: https://github.com/moves-rwth/storm

Cited In (45)

• Title not available (Why is that?)
• Counterexample-guided inductive synthesis for probabilistic systems
• Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems
• Title not available (Why is that?)
• 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
• Simple Strategies in Multi-Objective MDPs
• Title not available (Why is that?)
• The complexity of reachability in parametric Markov decision processes
• Robustly complete finite-state abstractions for verification of stochastic systems
• Multi-scale verification of distributed synchronisation
• Accelerating SpMV multiplication in probabilistic model checkers using GPUs
• On the Complexity of Reachability in Parametric Markov Decision Processes
• 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
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
• An algebraic method to fidelity-based model checking over quantum Markov chains
• Title not available (Why is that?)
• Solving systems of bilinear equations for transition rate reconstruction
• Fine-tuning the odds in Bayesian networks
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Out of control: reducing probabilistic models by control-state elimination
• Synthesizing optimal bias in randomized self-stabilization
• On Computing the Total Variation Distance of Hidden Markov Models.
• Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes
• Multi-cost bounded tradeoff analysis in MDP
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deep Statistical Model Checking
• Value iteration for simple stochastic games: stopping criterion and learning algorithm
• Title not available (Why is that?)
• Exact quantitative probabilistic model checking through rational search
• Enhancing probabilistic model checking with ontologies
• Are Parametric Markov Chains Monotonic?
• Sequential Convex Programming for the Efficient Verification of Parametric MDPs
• Moment-based analysis of Bayesian network properties
• Title not available (Why is that?)
• Abstract model repair for probabilistic systems
• Scenario-Based Verification of Uncertain MDPs

This page was built for software: Storm