Summary
I am a teaching assistant and a PhD student from the Department of IT and Management of UMONS supervised by Mickael Randour and Xavier Siebert.
My research focuses on the formal synthesis problem for sochastic systems evolving on continuous-state-spaces. More specifically, I'm interested in techniques based on finite abstraction of the system or techniques mixing formal methods and learning approaches.
Research experience
Title: Controller Synthesis for Continuous-state-space Models via Finite Abstractions.
Supervisor: Mickael Randour (UMONS).
Subject: Multi-objective reinforcement learning.
Supervisor: Mickael
Randour (UMONS).
Subject: Memory requirements in games.
Supervisor: Mickael
Randour (UMONS) and Pierre Vandenhove (LaBRI).