Statistical model checking for cyber-physical systems
From MaRDI portal
Publication:3172901
DOI10.1007/978-3-642-24372-1_1zbMATH Open1348.68128OpenAlexW175120007MaRDI QIDQ3172901FDOQ3172901
Authors: Paolo Zuliani, Edmund Clarke 
Publication date: 7 October 2011
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24372-1_1
Recommendations
Statistical aspects of information-theoretic topics (62B10) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (28)
- Sequential schemes for frequentist estimation of properties in statistical model checking
- Computer Aided Verification
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- Terminal satisfiability in GSTE
- End-to-end statistical model checking for parametric ODE models
- Statistical verification of PCTL using antithetic and stratified samples
- Statistical Model Checking for Variability-Intensive Systems
- Statistical model checking of stochastic component-based systems
- Statistical model checking
- Sequential schemes for frequentist estimation of properties in statistical model checking
- Self-adaptive statistical model checking approach for CPS
- Command-based importance sampling for statistical model checking
- Model checking of biological systems
- Hybrid statistical estimation of mutual information and its application to information flow
- Rare-event verification for stochastic hybrid systems
- Bayesian statistical model checking with application to Simulink/Stateflow verification
- Comparative analysis of statistical model checking tools
- Statistical model checking for composite actor systems
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization
- Coupling and importance sampling for statistical model checking
- A platform for high performance statistical model checking -- PLASMA
- Moded and continuous abstract state machines
- A survey of statistical model checking
- Monitoring algorithmic fairness
- Logics for actor networks: a two-stage constrained-hybridisation approach
- Rare events for statistical model checking an overview
- Statistical model checking of complex robotic systems
- Multilevel Monte Carlo method for statistical model checking of hybrid systems
Uses Software
This page was built for publication: Statistical model checking for cyber-physical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172901)
