Statistical model checking
From MaRDI portal
Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) 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)- Statistical model checking for variability-intensive systems: applications to bug detection and minimization
- Risk verification of stochastic systems with neural network controllers
- Automated and distributed statistical analysis of economic agent-based models
- 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
- Statistical model checking for cyber-physical systems
- ARES: adaptive receding-horizon synthesis of optimal plans
- Statistical Model Checking for Variability-Intensive Systems
- Statistical model checking of stochastic component-based systems
- Sequential schemes for frequentist estimation of properties in statistical model checking
- On Statistical Model Validation
- Efficient trace generation for rare-event analysis in chemical reaction networks
- Statistical model checking of complex robotic systems
- A logical framework for reasoning about local and global properties of collective systems
- A survey of model learning techniques for recurrent neural networks
- PAC statistical model checking for Markov decision processes and stochastic games
- Sampling-Based Verification of CTMCs with Uncertain Rates
- Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
- Formal analysis of the contract automata runtime environment with \textsc{Uppaal}: modelling, verification and testing
- Learning algorithms for verification of Markov decision processes
- Active and sparse methods in smoothed model checking
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)
