PrimaVera Demonstrators
- Infrastructure Demonstrator – PrimaVera is developing a web app that showcases research applications in diagnostics, prognostics, and maintenance policy optimization and logistics. The work-in-progress web application can be visited via the link above.
List of scientific publications
2022 |
|
2. | Scenario-based verification of uncertain parametric MDPs. In: Int. J. Softw. Tools Technol. Transf., vol. 24, no. 5, pp. 803–819, 2022. | :
1. | Sampling-Based Verification of CTMCs with Uncertain Rates. In: CAV (2), pp. 26–47, Springer, 2022. | :