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
2024 |
|
6. | CTMCs with Imprecisely Timed Observations. In: TACAS 2024, 2024. | :
2023 |
|
5. | Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. In: ICAART, pp. 501–508, 2023. | :
2022 |
|
4. | Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. In: AAAI, pp. 9669–9678, AAAI Press, 2022. | :
3. | Sampling-Based Verification of CTMCs with Uncertain Rates. In: CAV (2), pp. 26–47, Springer, 2022. | :
2. | Scenario-based verification of uncertain parametric MDPs. In: Int. J. Softw. Tools Technol. Transf., vol. 24, no. 5, pp. 803–819, 2022. | :
2021 |
|
1. | Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. In: 13th NASA Formal Methods Symposium, 2021. | :