Active Diagnosis for Probabilistic Systems.

Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loc Hlout

Browse the full FOSSACS paper archive.