Current DEUCE. Data-Driven Verification and Learning Under Uncertainty. ERC Starting Grant. FetchFly.AI Self-learning aerial robotics for autonomous material supply. ERDF/JTF Programme NRW 2021-2027, co-financed by the European Union. Concluded 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
