Bayesian Statistical Model Checking for Continuous Stochastic Logic.

Ratan Lal, Weikang Duan, Pavithra Prabhakar

Browse the full MEMOCODE paper archive.