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 by July 06, 2018. In the following week, we will schedule an appointment to discuss the implementations.

For any question, please contact Nils Jansen.