Model Repair for Markov Decision Processes.

Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang

Browse the full TASE paper archive.