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

2024
6.	Thom S. Badings; Matthias Volk; Sebastian Junges; Mariëlle Stoelinga; Nils Jansen: CTMCs with Imprecisely Timed Observations. In: TACAS 2024, 2024. (Type: Proceedings Article \| Links \| BibTeX \| Tags: Model checking, Robustness) @inproceedings{Badings2024TACAS, title = {CTMCs with Imprecisely Timed Observations}, author = {Thom S. Badings and Matthias Volk and Sebastian Junges and Mariëlle Stoelinga and Nils Jansen}, url = {https://doi.org/10.48550/arXiv.2401.06574}, doi = {10.48550/ARXIV.2401.06574}, year = {2024}, date = {2024-01-01}, urldate = {2024-01-01}, booktitle = {TACAS 2024}, keywords = {Model checking, Robustness}, pubstate = {published}, tppubtype = {inproceedings} } Close https://doi.org/10.48550/arXiv.2401.06574 doi:10.48550/ARXIV.2401.06574 Close
2023
5.	Dennis Gross; Thiago D. Simão; Nils Jansen; Guillermo A. Pérez: Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. In: ICAART, pp. 501–508, 2023. (Type: Proceedings Article \| Links \| BibTeX \| Tags: Machine learning, Model checking) @inproceedings{Gross2023targeted, title = {Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking}, author = {Dennis Gross and Thiago D. Simão and Nils Jansen and Guillermo A. Pérez}, url = {https://www.scitepress.org/PublicationsDetail.aspx?ID=KWi7kyMXAok=}, year = {2023}, date = {2023-01-01}, urldate = {2023-01-01}, booktitle = {ICAART}, pages = {501–508}, keywords = {Machine learning, Model checking}, pubstate = {published}, tppubtype = {inproceedings} } Close https://www.scitepress.org/PublicationsDetail.aspx?ID=KWi7kyMXAok= Close
2022
4.	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
3.	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
2.	Thom S. Badings; Murat Cubuktepe; Nils Jansen; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu: Scenario-based verification of uncertain parametric MDPs. In: Int. J. Softw. Tools Technol. Transf., vol. 24, no. 5, pp. 803–819, 2022. (Type: Journal Article \| Links \| BibTeX \| Tags: Model checking, Scenario optimization) @article{DBLP:journals/sttt/BadingsCJJKT22, title = {Scenario-based verification of uncertain parametric MDPs}, author = {Thom S. Badings and Murat Cubuktepe and Nils Jansen and Sebastian Junges and Joost-Pieter Katoen and Ufuk Topcu}, url = {https://arxiv.org/abs/2112.13020}, year = {2022}, date = {2022-01-01}, urldate = {2022-01-01}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {24}, number = {5}, pages = {803–819}, keywords = {Model checking, Scenario optimization}, pubstate = {published}, tppubtype = {article} } Close https://arxiv.org/abs/2112.13020 Close
2021
1.	Thom S. Badings; Arnd Hartmanns; Nils Jansen; Marnix Suilen: Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. In: 13th NASA Formal Methods Symposium, 2021. (Type: Proceedings Article \| Links \| BibTeX \| Tags: Model checking) @inproceedings{Badings2021NFM, title = {Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids}, author = {Thom S. Badings and Arnd Hartmanns and Nils Jansen and Marnix Suilen}, url = {https://arxiv.org/abs/2101.12496}, year = {2021}, date = {2021-01-01}, urldate = {2021-01-01}, booktitle = {13th NASA Formal Methods Symposium}, keywords = {Model checking}, pubstate = {published}, tppubtype = {inproceedings} } Close https://arxiv.org/abs/2101.12496 Close