Self-adaptive statistical model checking approach for CPS

DOI10.13328/J.CNKI.JOS.005216zbMATH Open1389.68050MaRDI QIDQ3132080FDOQ3132080

Authors: Dehui du, Hui Zan, Kaiqiang Jiang, Bei Cheng 

Publication date: 29 January 2018

Recommendations

• Statistical model checking for cyber-physical systems
• Statistical model checking
• Computer Aided Verification
• Coupling and importance sampling for statistical model checking
• Bayesian statistical model checking with application to Simulink/Stateflow verification

zbMATH Keywords

statistical model checkingself-adaptive learningcyber-physical system

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Title not available (Why is that?)
• Effectiveness assessment of cyber-physical systems

This page was built for publication: Self-adaptive statistical model checking approach for CPS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3132080)