Bayesian statistical model checking with application to Stateflow/Simulink verification

标题
Bayesian statistical model checking with application to Stateflow/Simulink verification
作者
关键词
Probabilistic verification, Hybrid systems, Stochastic systems, Statistical model checking, Hypothesis testing, Estimation
出版物
FORMAL METHODS IN SYSTEM DESIGN
Volume 43, Issue 2, Pages 338-367
出版商
Springer Nature
发表日期
2013-08-27
DOI
10.1007/s10703-013-0195-3

向作者/读者发起求助以获取更多资源

Reprint

联系作者

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started