Statistical model checking for cyber-physical systems
From MaRDI portal
Publication:3172901
DOI10.1007/978-3-642-24372-1_1zbMATH Open1348.68128OpenAlexW175120007MaRDI QIDQ3172901FDOQ3172901
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
Statistical aspects of information-theoretic topics (62B10) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (15)
- Computer Aided Verification
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- Model Checking of Biological Systems
- 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
- Sequential schemes for frequentist estimation of properties in statistical model checking
- Command-based importance sampling for statistical model checking
- Hybrid statistical estimation of mutual information and its application to information flow
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization
- Moded and continuous abstract state machines
- Monitoring algorithmic fairness
- Logics for actor networks: a two-stage constrained-hybridisation approach
Uses Software
Recommendations
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)
