Deliverables
| Deliverable | Title | Due | |
|---|---|---|---|
| Task 1 | Report on advances on discrete parameter synthesis | t0+24 | 2016/10/01 |
| Task 2 | Report on advances on continuous-time parameter synthesis | t0+30 | 2017/04/01 |
| Task 3 | Advances on discrete parameter synthesis in continuous-time formalisms | t0+36 | 2018/05/15 |
| Task 4 | Advances on timing parameter synthesis in continuous-time formalisms with costs | t0+48 | 2019/07/01 |
| Task 5 | Advances on Parameters in Discrete Models with Probabilities | t0+48 | 2019/07/01 |
| Task 6 | Advances on Parameters in Timed Models with Probabilities | t0+48 | 2019/07/01 |
| General | Summary of the results of the PACS project | t0+48 | 2019/09/01 |