Statistical model checking
From MaRDI portal
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Model predictive control (93B45)
Recommendations
- Statistical model checking for cyber-physical systems
- Bayesian statistical model checking with application to Simulink/Stateflow verification
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Coupling and importance sampling for statistical model checking
- Computer Aided Verification
Cited in
(22)- ARES: adaptive receding-horizon synthesis of optimal plans
- Sequential schemes for frequentist estimation of properties in statistical model checking
- Automated and distributed statistical analysis of economic agent-based models
- Active and sparse methods in smoothed model checking
- Learning algorithms for verification of Markov decision processes
- Statistical Model Checking for Variability-Intensive Systems
- Statistical model checking of stochastic component-based systems
- A survey of model learning techniques for recurrent neural networks
- Efficient trace generation for rare-event analysis in chemical reaction networks
- Bayesian statistical model checking with application to Stateflow/Simulink verification
- Self-adaptive statistical model checking approach for CPS
- Command-based importance sampling for statistical model checking
- Sampling-Based Verification of CTMCs with Uncertain Rates
- Formal analysis of the contract automata runtime environment with \textsc{Uppaal}: modelling, verification and testing
- On Statistical Model Validation
- Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
- PAC statistical model checking for Markov decision processes and stochastic games
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization
- Statistical model checking for cyber-physical systems
- A logical framework for reasoning about local and global properties of collective systems
- Statistical model checking of complex robotic systems
- Risk verification of stochastic systems with neural network controllers
This page was built for publication: Statistical model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2075782)
