Top Posts
Top Posts
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

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

Show all

2022
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)
1.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)