Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems.

Javier Esparza, Vincent P. Grande

Browse the full ICALP paper archive.