Cited in
(38)- ARES: adaptive receding-horizon synthesis of optimal plans
- Model-based verification, optimization, synthesis and performance evaluation of real-time systems
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Deep statistical model checking
- On-the-fly fast mean-field model-checking
- DNA walker circuits: computational potential, design, and verification
- Accelerating SpMV multiplication in probabilistic model checkers using GPUs
- Efficient probabilistic model checking of systems with ranged probabilities
- Type-based self-stabilisation for computational fields
- DNA Walker Circuits: Computational Potential, Design, and Verification
- Learning deterministic probabilistic automata from a model checking perspective
- Statistical approximation of optimal schedulers for probabilistic timed automata
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Command-based importance sampling for statistical model checking
- Proving Positive Almost Sure Termination Under Strategies
- Bounded rational search for on-the-fly model checking of LTL properties
- Probabilistic verification and approximation
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- PRISM
- INGENIAS
- GEZEL
- VESTA
- COSMOS
- Casaal
- Ymer
- GloMoSim
- PLASMA
- INFAMY
- INA
- PLASMA-lab
- Distribution, approximation and probabilistic model checking
- Statistical Model Checking for Networks of Priced Timed Automata
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Mu-calculus path checking
- Statistical model checking for cyber-physical systems
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
- Monte Carlo methods for process algebra
This page was built for software: APMC
