Learning-Based Compositional Verification for Synchronous Probabilistic Systems.

Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker

Browse the full ATVA paper archive.