Command-based importance sampling for statistical model checking

标题

作者

关键词

Statistical model checking, Monte Carlo, Rare events, Importance sampling, Cross entropy, Guarded commands

出版物

Volume 649, Issue -, Pages 1-24

出版商

Elsevier BV

发表日期

2016-08-26

DOI

10.1016/j.tcs.2016.08.009

联系作者

Discuss science. Find collaborators. Network.

Join a conversation

Explore over 38,000 international journals covering a vast array of academic fields.