When to stop verification?: Statistical trade-off between expected loss and simulation cost.

Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh

Browse the full DATE paper archive.