Projects

This page contains a number of proposals for Bachelor- and Master thesis topics. If you are interested in any of these projects (or in any of our research directions more generally), feel free to send us an email!

ongoing

  • Sensitivity-guided Exploration for Learning Markov Chains
    Mees Meuwissen
  • Robust Permisive Policies for Interval Markov Decision Processes
    Bram Pellen
  • Verifying Inter-Process Communication Between ASML Components
    Renato Feroce
  • Improving Deep Q-Learning Performance through Imitation Learning
    Bas Neeleman
  • Card Games as Constrained Reinforcement Learning Problem
    Michel van Wijk

complete