Faster Statistical Model Checking for Unbounded Temporal Properties.

Przemyslaw Daca, Thomas A. Henzinger, Jan Kretnsk, Tatjana Petrov

Browse the full TACAS paper archive.