APMC
From MaRDI portal
Software:23425
swMATH11483MaRDI QIDQ23425FDOQ23425
Author name not available (Why is that?)
Cited In (27)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Statistical Model Checking for Cyber-Physical Systems
- DNA walker circuits: computational potential, design, and verification
- Accelerating SpMV multiplication in probabilistic model checkers using GPUs
- DNA Walker Circuits: Computational Potential, Design, and Verification
- Learning deterministic probabilistic automata from a model checking perspective
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
- ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- On-the-fly Fast Mean-Field Model-Checking
- Proving Positive Almost Sure Termination Under Strategies
- Command-based importance sampling for statistical model checking
- Probabilistic verification and approximation
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- Distribution, approximation and probabilistic model checking
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
- Type-based Self-stabilisation for Computational Fields
- Statistical Model Checking for Networks of Priced Timed Automata
- Computer Aided Verification
- Monte Carlo Methods for Process Algebra
- Deep Statistical Model Checking
- Verification, Model Checking, and Abstract Interpretation
- Mu-calculus path checking
- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities
- Faster statistical model checking for unbounded temporal properties
- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
This page was built for software: APMC