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 |
|
7. | CTMCs with Imprecisely Timed Observations. In: TACAS 2024, 2024. | :
2023 |
|
6. | Robust Spare Parts Inventory Management. In: Management Science (submitted), vol. 15, 2023. | :
5. | Decision-making under uncertainty: beyond probabilities. Challenges and Perspectives. In: STTT, 2023. | :
4. | Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. In: QEST, 2023. | :
3. | Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. In: AAAI, 2023. | :
2. | Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. In: Journal of Artificial Intelligence Research (to appear), pp. 1–29, 2023. | :
2022 |
|
1. | Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. In: AAAI, pp. 9669–9678, AAAI Press, 2022. | :