The following pages link to APMC (Q23425):
Displaying 27 items.
- Command-based importance sampling for statistical model checking (Q313977) (← links)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- Mu-calculus path checking (Q1045942) (← links)
- Learning deterministic probabilistic automata from a model checking perspective (Q1689574) (← links)
- DNA walker circuits: computational potential, design, and verification (Q2003463) (← links)
- Accelerating SpMV multiplication in probabilistic model checkers using GPUs (Q2119962) (← links)
- Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
- Faster statistical model checking for unbounded temporal properties (Q2272915) (← links)
- Probabilistic verification and approximation (Q2478551) (← links)
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata (Q2814125) (← links)
- On-the-fly Fast Mean-Field Model-Checking (Q2830041) (← links)
- Distribution, approximation and probabilistic model checking (Q2848656) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
- Statistical Model Checking for Cyber-Physical Systems (Q3172901) (← links)
- ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans (Q3303936) (← links)
- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties (Q3400928) (← links)
- Type-based Self-stabilisation for Computational Fields (Q3460426) (← links)
- Proving Positive Almost Sure Termination Under Strategies (Q3527308) (← links)
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments (Q3642953) (← links)
- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities (Q4899147) (← links)
- Deep Statistical Model Checking (Q5041276) (← links)
- DNA Walker Circuits: Computational Potential, Design, and Verification (Q5168496) (← links)
- Monte Carlo Methods for Process Algebra (Q5262967) (← links)
- Computer Aided Verification (Q5312900) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898615) (← links)
