by Thom Badings

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

49.Henk Akkermans; Rob Basten; Quan Zhu; Luk Van Wassenhove: Transition paths for condition-based maintenance-driven smart services. In: Journal of Operations Management, vol. n/a, no. n/a, 2024. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Maintenance optimization, smart services)
48.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)

2023

47.Zhao Kang; Ahmadreza Marandi; Rob J. I. Basten; Ton De Kok: Robust Spare Parts Inventory Management. In: Management Science (submitted), vol. 15, 2023. (Type: Journal Article | Links | BibTeX | Tags: Maintenance optimization, Robustness)
46.Nubia Nale Alves da Silveira; Annemieke A. Meghoe; Tiedo Tinga: Integration of multiple failure mechanisms in a life assessment method for centrifugal pump impellers. In: Advances in mechanical engineering, vol. 15, no. 6, 2023, ISSN: 1687-8132. (Type: Journal Article | Links | BibTeX | Tags: Failure mechanisms, Prognostics)
45.Rob Basten Ragnar Eggertsson; Geert-Jan Houtum: Maintenance optimization for capital goods when information is incomplete and environment-dependent. In: IISE Transactions, vol. 0, no. 0, pp. 1-16, 2023. (Type: Journal Article | Links | BibTeX | Tags: Maintenance optimization)
44.Reza Soltani; Matthias Volk; Leonardo Diamonte; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga: Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. In: FMICS, pp. 205–223, Springer, 2023. (Type: Proceedings Article | BibTeX | Tags: Maintenance optimization, Spare part management)
43.Natália Ribeiro Marinho; Richard Loendersloot; Tiedo Tinga; Frank Grooteman; Jan Willem Wiegman: A Comparison of Optical Sensing Systems with Piezo-Electric Sensors for Impact Identification of Composite Plates. In: 14th International Workshop on Structural Health Monitoring, IWSHM 2023, pp. 1127–1133, DEStech Publications, Inc 2023. (Type: Proceedings Article | BibTeX | Tags: Sensors)
42.Matthias Volk; Muzammil Ibne Irshad; Joost-Pieter Katoen; Falak Sher; Mariëlle Stoelinga; Ahmad Zafar: SAFEST: the static and dynamic fault tree analysis tool. In: ESREL, pp. 193–200, Research Publishing, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Fault tree analysis)
41.Wouter Bos; Matthias Volk; Mariëlle Stoelinga; Marc Bouissou; Pavel Krčál: From Fault Trees to Piping and Instrumentation Diagrams. In: ESREL, pp. 1234–1235, Research Publishing, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Fault tree analysis)
40.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)
39.Alberto Castellini; Federico Bianchi; Edoardo Zorzi; Thiago D. Simão; Alessandro Farinelli; Matthijs T. J. Spaan: Scalable Safe Policy Improvement via Monte Carlo Tree Search. In: ICML, pp. 3732–3756, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Machine learning)
38.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)
37.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)
36.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)
35.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)
34.Bram Ton; Faizan Ahmed; Jeroen Linssen: Semantic Segmentation of Terrestrial Laser Scans of Railway Catenary Arches: A Use Case Perspective. In: Sensors, vol. 23, no. 1, 2023, ISSN: 1424-8220. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Sensors)
33.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)
32.Zaharah Allah Bukhsh; Hajo Molegraaf; Nils Jansen: A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning. In: Neural Computing and Applications, 2023. (Type: Journal Article | BibTeX | Tags: Machine learning)
31.Cevahir Koprulu; Thiago D. Simão; Nils Jansen; Ufuk Topcu: Risk-aware Curriculum Generation for Heavy-tailed Task Distributions. In: UAI, pp. 1132–1142, 2023. (Type: Proceedings Article | BibTeX | Tags: Machine learning)
30.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)
29.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)
28.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)
27.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)
26.Thiago D. Simão; Marnix Suilen; Nils Jansen: Safe Policy Improvement for POMDPs via Finite-State Controllers. In: AAAI, 2023. (Type: Proceedings Article | Links | BibTeX | Tags: Machine learning)
25.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)
24.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)
23.Bram Dekker; Bram T. Ton; Joanneke Meijer; Nacir Bouali; Jeroen Linssen; Faizan Ahmed: Point Cloud Analysis of Railway Infrastructure: A Systematic Literature Review. In: IEEE Access, vol. 11, pp. 134355–134373, 2023. (Type: Journal Article | BibTeX | Tags: Sensors)
22.Bram Dekker; Bram Ton; Joanneke Meijer; Nacir Bouali; Jeroen Linssen; Faizan Ahmed: Point Cloud Analysis of Railway Infrastructure: A Systematic Literature Review. In: IEEE Access, vol. 11, pp. 134355-134373, 2023. (Type: Journal Article | Links | BibTeX | Tags: Sensors)

2022

21.Luc Stefan Keizers; Richard Loendersloot; Tiedo Tinga: Atmospheric Corrosion Prognostics Using a Particle Filter. In: Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022), pp. 1259–1266, 2022. (Type: Proceedings Article | BibTeX | Tags: Bayesian filters, Prognostics)
20.Norman Weik; Matthias Volk; Joost-Pieter Katoen; Nils Nießen: DFT modeling approach for operational risk assessment of railway infrastructure. In: Int. J. Softw. Tools Technol. Transf., vol. 24, no. 3, pp. 331–350, 2022. (Type: Journal Article | Links | BibTeX | Tags: Fault tree analysis)
19.Daniel Basgöze; Matthias Volk; Joost-Pieter Katoen; Shahid Khan; Mariëlle Stoelinga: BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. In: NFM, pp. 713–732, Springer, 2022. (Type: Proceedings Article | Links | BibTeX | Tags: Decision tree, Fault tree analysis)
18.Bas Oudenhoven; Philippe Van Calseyde; Rob Basten; Evangelia Demerouti: Predictive maintenance for industry 5.0: behavioural inquiries from a work system perspective. In: International Journal of Production Research, vol. 0, no. 0, pp. 1-20, 2022. (Type: Journal Article | Links | BibTeX | Tags: Human decision-making, Organizational behavior)
17.Qisong Yang; Thiago D. Simão; Simon H. Tindemans; Matthijs T. J. Spaan: Safety-constrained reinforcement learning with a distributional safety critic. In: Machine Learning, pp. 1–29, 2022. (Type: Journal Article | Links | BibTeX | Tags: Machine learning)
16.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)
15.Lisandro A. Jimenez-Roa; Tom Heskes; Tiedo Tinga; Mariëlle Stoelinga: Automatic inference of fault tree models via multi-objective evolutionary algorithms. In: IEEE Transactions on Dependable and Secure Computing, pp. 1-12, 2022. (Type: Journal Article | Links | BibTeX | Tags: Fault tree analysis, Machine learning)
14.Lisandro Arturo Jimenez-Roa; Matthias Volk; Mariëlle Stoelinga: Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. In: International Conference on Computer Safety, Reliability, and Security, pp. 46–61, Springer 2022. (Type: Proceedings Article | BibTeX | Tags: Fault tree analysis, Machine learning)
13.Lisandro A Jimenez-Roa; Tom Heskes; Tiedo Tinga; Hajo JA Molegraaf; Mariëlle Stoelinga: Deterioration modeling of sewer pipes via discrete-time Markov chains: A large-scale case study in the Netherlands. In: 32nd European Safety and Reliability Conference, ESREL 2022: Understanding and Managing Risk and Reliability for a Sustainable Future, pp. 1299–1306, 2022. (Type: Proceedings Article | BibTeX | Tags: Model learning, Prognostics)
12.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)
11.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)
10.David Kerkkamp; Zaharah A. Bukhsh; Yingqian Zhang; Nils Jansen: Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks. In: International Conference on Agents and Artificial Intelligence (ICAART), 2022. (Type: Proceedings Article | BibTeX | Tags: Machine learning, Maintenance optimization)
9.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)

2021

8.Lisandro A. Jimenez-Roa; Tom Heskes; Mariëlle Stoelinga: Fault Trees, Decision Trees, and Binary Decision Diagrams: A systematic comparison. In: Castanier, Bruno; Cepin, Marko; Bigaud, David; Bérenguer, Christophe (Ed.): Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021), pp. 673–680, Research Publishing, 2021, (European Safety and Reliability Conference 2021, ESREL 2021 ; Conference date: 19-09-2021 Through 23-09-2021). (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Decision trees, Fault tree analysis, Reliability engineering)
7.Nubia Nale Alves Silveira; Richard Loendersloot; Annemieke Angelique Meghoe; Tiedo Tinga: Data Selection Criteria for the Application of Predictive Maintenance to Centrifugal Pumps. In: Proceedings of the 6th European Conference of the Prognostics and Health Management Societ, pp. 372–380, 2021, (6th European Conference of the Prognostics and Health Management Society, PHME 2021, PHME 2021 ; Conference date: 28-06-2021 Through 02-07-2021). (Type: Proceedings Article | Abstract | Links | BibTeX | Tags: Prognostics, Sensors)
6.Luc S. Keizers; Richard Loendersloot; Tiedo Tinga: Unscented Kalman Filtering for Prognostics Under Varying Operational and Environmental Conditions. In: International Journal of Prognostics and Health Management, vol. 12, no. 2, 2021. (Type: Journal Article | Links | BibTeX | Tags: Bayesian filters, Prognostics)
5.Zaharah Allah Bukhsh; Nils Jansen; Aaqib Saeed: Damage detection using in-domain and cross-domain transfer learning. In: Neural Computing and Applications, 2021. (Type: Journal Article | Links | BibTeX | Tags: Sensors)
4.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)
3.Thiago D. Simão; Nils Jansen; Matthijs T. J. Spaan: AlwaysSafe: Reinforcement Learning Without Safety Constraint Violations During Training. In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pp. 1226-1235, IFAAMAS, 2021. (Type: Proceedings Article | Links | BibTeX | Tags: Machine learning)
2.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)

2020

1.Bram Ton; Rob Basten; John Bolte; Jan Braaksma; Alessandro Di Bucchianico; Philippe Calseyde; Frank Grooteman; Tom Heskes; Nils Jansen; Wouter Teeuw; Tiedo Tinga; Mariëlle Stoelinga: PrimaVera: Synergising Predictive Maintenance. In: Applied Sciences, vol. 10, no. 23, 2020, ISSN: 2076-3417. (Type: Journal Article | Abstract | Links | BibTeX | Tags: Organizational behavior, Prognostics, Sensors)