Publications – Primavera Project

by Thom Badings December 24, 2020

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

Bayesian filters Decision tree Decision trees Decision-making under uncertainty Failure mechanisms Fault tree analysis Human decision-making Machine learning Maintenance optimization Model checking Model learning Organizational behavior Prognostics Reliability engineering Robustness Scenario optimization Sensors smart services Spare part management

2023
15.	Merlijn Krale; Thiago D. Simão; Nils Jansen: Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring. In: ICAPS, pp. 212-220, 2023. (Type: Proceedings Article \| BibTeX \| Tags: Decision-making under uncertainty, Machine learning) @inproceedings{Krale2023act, title = {Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring}, author = {Merlijn Krale and Thiago D. Simão and Nils Jansen}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {ICAPS}, pages = {212-220}, keywords = {Decision-making under uncertainty, Machine learning}, pubstate = {published}, tppubtype = {inproceedings} } Close
14.	Thom Badings; Thiago D. Simão; Marnix Suilen; Nils Jansen: Decision-making under uncertainty: beyond probabilities. Challenges and Perspectives. In: STTT, 2023. (Type: Journal Article \| BibTeX \| Tags: Decision-making under uncertainty, Machine learning, Robustness) @article{Badings2023Decision, title = {Decision-making under uncertainty: beyond probabilities. Challenges and Perspectives}, author = {Thom Badings and Thiago D. Simão and Marnix Suilen and Nils Jansen}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, journal = {STTT}, keywords = {Decision-making under uncertainty, Machine learning, Robustness}, pubstate = {published}, tppubtype = {article} } Close
13.	Thom S. Badings; Sebastian Junges; Ahmadreza Marandi; Ufuk Topcu; Nils Jansen: Efficient Sensitivity Analysis for Parametric Robust Markov Chains. In: CAV (3), pp. 62–85, Springer, 2023. (Type: Proceedings Article \| BibTeX \| Tags: Decision-making under uncertainty, Model learning) @inproceedings{DBLP:conf/cav/BadingsJMTJ23, title = {Efficient Sensitivity Analysis for Parametric Robust Markov Chains}, author = {Thom S. Badings and Sebastian Junges and Ahmadreza Marandi and Ufuk Topcu and Nils Jansen}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {CAV (3)}, volume = {13966}, pages = {62–85}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, keywords = {Decision-making under uncertainty, Model learning}, pubstate = {published}, tppubtype = {inproceedings} } Close
12.	Luke Rickard; Thom S. Badings; Licio Romao; Nils Jansen; Alessandro Abate: Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. In: QEST, 2023. (Type: Proceedings Article \| BibTeX \| Tags: Decision-making under uncertainty, Robustness) @inproceedings{Rickard2023QEST, title = {Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics}, author = {Luke Rickard and Thom S. Badings and Licio Romao and Nils Jansen and Alessandro Abate}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {QEST}, keywords = {Decision-making under uncertainty, Robustness}, pubstate = {published}, tppubtype = {inproceedings} } Close
11.	Patrick Wienhöft; Marnix Suilen; Thiago D. Simão; Clemens Dubslaff; Christel Baier; Nils Jansen: More for Less: Safe Policy Improvement with Stronger Performance Guarantees. In: IJCAI, pp. 4406–4415, 2023. (Type: Proceedings Article \| Links \| BibTeX \| Tags: Decision-making under uncertainty, Machine learning) @inproceedings{Wienhoft2023more, title = {More for Less: Safe Policy Improvement with Stronger Performance Guarantees}, author = {Patrick Wienhöft and Marnix Suilen and Thiago D. Simão and Clemens Dubslaff and Christel Baier and Nils Jansen}, url = {https://www.ijcai.org/proceedings/2023/490}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {IJCAI}, pages = {4406–4415}, keywords = {Decision-making under uncertainty, Machine learning}, pubstate = {published}, tppubtype = {inproceedings} } Close https://www.ijcai.org/proceedings/2023/490 Close
10.	Thom S. Badings; Licio Romao; Alessandro Abate; Nils Jansen: Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. In: AAAI, 2023. (Type: Proceedings Article \| Links \| BibTeX \| Tags: Decision-making under uncertainty, Robustness) @inproceedings{DBLP:journals/corr/abs-2210-05989, title = {Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty}, author = {Thom S. Badings and Licio Romao and Alessandro Abate and Nils Jansen}, url = {https://arxiv.org/abs/2210.05989}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {AAAI}, keywords = {Decision-making under uncertainty, Robustness}, pubstate = {published}, tppubtype = {inproceedings} } Close https://arxiv.org/abs/2210.05989 Close
9.	Wietze Koops; Nils Jansen; Sebastian Junges; Thiago D. Simão: Recursive Small-Step Multi-Agent A* for Dec-POMDPs. In: IJCAI, pp. 5402–5410, 2023. (Type: Proceedings Article \| Links \| BibTeX \| Tags: Decision-making under uncertainty) @inproceedings{Koops2023recursive, title = {Recursive Small-Step Multi-Agent A* for Dec-POMDPs}, author = {Wietze Koops and Nils Jansen and Sebastian Junges and Thiago D. Simão}, url = {https://www.ijcai.org/proceedings/2023/600}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {IJCAI}, pages = {5402–5410}, keywords = {Decision-making under uncertainty}, pubstate = {published}, tppubtype = {inproceedings} } Close https://www.ijcai.org/proceedings/2023/600 Close
8.	Qisong Yang; Thiago D. Simão; Nils Jansen; Simon H. Tindemans; Matthijs T. J. Spaan: Reinforcement Learning by Guided Safe Exploration. In: ECAI, 2023. (Type: Proceedings Article \| Links \| BibTeX \| Tags: Decision-making under uncertainty, Machine learning) @inproceedings{Yang2023reinforcement, title = {Reinforcement Learning by Guided Safe Exploration}, author = {Qisong Yang and Thiago D. Simão and Nils Jansen and Simon H. Tindemans and Matthijs T. J. Spaan}, url = {https://arxiv.org/abs/2307.14316}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {ECAI}, keywords = {Decision-making under uncertainty, Machine learning}, pubstate = {published}, tppubtype = {inproceedings} } Close https://arxiv.org/abs/2307.14316 Close
7.	Thom Badings; Licio Romao; Alessandro Abate; David Parker; Hasan A. Poonawala; Marielle Stoelinga; Nils Jansen: Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. In: Journal of Artificial Intelligence Research (to appear), pp. 1–29, 2023. (Type: Journal Article \| BibTeX \| Tags: Decision-making under uncertainty, Machine learning, Robustness) @article{Badings2023JAIR, title = {Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions}, author = {Thom Badings and Licio Romao and Alessandro Abate and David Parker and Hasan A. Poonawala and Marielle Stoelinga and Nils Jansen}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, journal = {Journal of Artificial Intelligence Research (to appear)}, pages = {1–29}, keywords = {Decision-making under uncertainty, Machine learning, Robustness}, pubstate = {published}, tppubtype = {article} } Close
6.	Yannick Hogewind; Thiago D. Simão; Tal Kachman; Nils Jansen: Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. In: ICLR, 2023. (Type: Proceedings Article \| Links \| BibTeX \| Tags: Decision-making under uncertainty, Machine learning) @inproceedings{Hogewind2023safe, title = {Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation}, author = {Yannick Hogewind and Thiago D. Simão and Tal Kachman and Nils Jansen}, url = {https://openreview.net/forum?id=b39dQt_uffW}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {ICLR}, keywords = {Decision-making under uncertainty, Machine learning}, pubstate = {published}, tppubtype = {inproceedings} } Close https://openreview.net/forum?id=b39dQt_uffW Close
5.	Steven Carr; Nils Jansen; Sebastian Junges; Ufuk Topcu: Safe Reinforcement Learning via Shielding for POMDPs. In: To be presented at AAAI 2023, 2023. (Type: Proceedings Article \| Links \| BibTeX \| Tags: Decision-making under uncertainty, Machine learning) @inproceedings{DBLP:journals/corr/abs-2204-00755, title = {Safe Reinforcement Learning via Shielding for POMDPs}, author = {Steven Carr and Nils Jansen and Sebastian Junges and Ufuk Topcu}, url = {https://arxiv.org/abs/2204.00755}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {To be presented at AAAI 2023}, keywords = {Decision-making under uncertainty, Machine learning}, pubstate = {published}, tppubtype = {inproceedings} } Close https://arxiv.org/abs/2204.00755 Close
2022
4.	Marnix Suilen; Thiago D. Simão; David Parker; Nils Jansen: Robust Anytime Learning of Markov Decision Processes. In: NeurIPS, 2022. (Type: Proceedings Article \| BibTeX \| Tags: Decision-making under uncertainty, Machine learning) @inproceedings{DBLP:journals/corr/abs-2205-15827, title = {Robust Anytime Learning of Markov Decision Processes}, author = {Marnix Suilen and Thiago D. Simão and David Parker and Nils Jansen}, year = {2022}, date = {2022-01-01}, urldate = {2022-01-01}, booktitle = {NeurIPS}, keywords = {Decision-making under uncertainty, Machine learning}, pubstate = {published}, tppubtype = {inproceedings} } Close
3.	Thom S. Badings; Alessandro Abate; Nils Jansen; David Parker; Hasan A. Poonawala; Mariëlle Stoelinga: Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. In: AAAI, pp. 9669–9678, AAAI Press, 2022. (Type: Proceedings Article \| Links \| BibTeX \| Tags: Decision-making under uncertainty, Model checking, Robustness) @inproceedings{DBLP:conf/aaai/BadingsA00PS22, title = {Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise}, author = {Thom S. Badings and Alessandro Abate and Nils Jansen and David Parker and Hasan A. Poonawala and Mariëlle Stoelinga}, url = {https://ojs.aaai.org/index.php/AAAI/article/view/21201/20950}, year = {2022}, date = {2022-01-01}, urldate = {2022-01-01}, booktitle = {AAAI}, pages = {9669–9678}, publisher = {AAAI Press}, keywords = {Decision-making under uncertainty, Model checking, Robustness}, pubstate = {published}, tppubtype = {inproceedings} } Close https://ojs.aaai.org/index.php/AAAI/article/view/21201/20950 Close
2.	Thom S. Badings; Nils Jansen; Sebastian Junges; Mariëlle Stoelinga; Matthias Volk: Sampling-Based Verification of CTMCs with Uncertain Rates. In: CAV (2), pp. 26–47, Springer, 2022. (Type: Proceedings Article \| Links \| BibTeX \| Tags: Decision-making under uncertainty, Model checking, Scenario optimization) @inproceedings{DBLP:conf/cav/BadingsJJSV22, title = {Sampling-Based Verification of CTMCs with Uncertain Rates}, author = {Thom S. Badings and Nils Jansen and Sebastian Junges and Mariëlle Stoelinga and Matthias Volk}, url = {https://arxiv.org/abs/2205.08300}, year = {2022}, date = {2022-01-01}, urldate = {2022-01-01}, booktitle = {CAV (2)}, volume = {13372}, pages = {26–47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, keywords = {Decision-making under uncertainty, Model checking, Scenario optimization}, pubstate = {published}, tppubtype = {inproceedings} } Close https://arxiv.org/abs/2205.08300 Close
2021
1.	Murat Cubuktepe; Nils Jansen; Sebastian Junges; Ahmadreza Marandi; Marnix Suilen; Ufuk Topcu: Robust Finite-State Controllers for Uncertain POMDPs. In: 35th AAAI Conference on Artificial Intelligence, 2021. (Type: Proceedings Article \| BibTeX \| Tags: Decision-making under uncertainty) @inproceedings{cubuktepe-et-al-aaai-2021, title = {Robust Finite-State Controllers for Uncertain POMDPs}, author = {Murat Cubuktepe and Nils Jansen and Sebastian Junges and Ahmadreza Marandi and Marnix Suilen and Ufuk Topcu}, year = {2021}, date = {2021-01-01}, urldate = {2021-01-01}, booktitle = {35th AAAI Conference on Artificial Intelligence}, keywords = {Decision-making under uncertainty}, pubstate = {published}, tppubtype = {inproceedings} } Close