Model Repair for Probabilistic Systems.

Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka

Browse the full TACAS paper archive.