work DEUCE. Data-Driven Verification and Learning Under Uncertainty. ERC Starting Grant. Uncertain POMDPs Provably Correct Policies for Uncertain POMDPs. NWO Open Competition ENW Klein. PrimaVera Predictive maintenance for Very effective asset management (PrimaVera). Dutch National Research Agenda (NWA). SAM-FMS Scheduling Adaptive Modular Flexible Manufacturing Systems. NWO MasCot Partnership Program. EXoDuS EXplainable Data Science (EXoDuS). NWA/TNO. Safe Planning with AI Safe Planning with Artificial Intelligence. Glasgow-Nijmegen Partnership fun
