Statistical Model Checking Using Perfect Simulation.

Diana El Rabih, Nihal Pekergin

Browse the full ATVA paper archive.