Jump to Content

Statistical probabilistic model checking with a focus on time-bounded properties

Reid G. Simmons
Information and Computation, vol. 204 (2006), pp. 1368-1409

Abstract

Research Areas