print · source · login   

Model Repair for Probabilistic Systems

The second homework assignment concerns the problem of model repair for probabilistic systems. Your task consists of a report in form of a short research paper, and of a prototype implementation. All information is available in this document. Please send the report to n.jansen@science.ru.nl by July 06, 2018. In the following week, we will schedule an appointment to discuss the implementations.

For any question, please contact Nils Jansen.