On the Sequential Massart Algorithm for Statistical Model Checking.

Cyrille Jgourel, Jun Sun, Jin Song Dong

Browse the full ISoLA paper archive.