Self-adaptive statistical model checking approach for CPS

DOI10.13328/J.CNKI.JOS.005216MaRDI QIDQ3132080zbMATH OpenFDO

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

Publication date 29 January 2018

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)

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

Cited in

(2)

• scientific article; zbMATH DE number 6719346 (Why is no real title available?)
• 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)