Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling.

Hkan L. S. Younes, Reid G. Simmons

Browse the full CAV paper archive.