PhD and Post-Doc positions at the Université libre de Bruxelles
Non-Zero Sum Game Graphs: Applications to Reactive Synthesis and Beyond (5 years FWB ARC research project, 2016-2021) VERILEARN: Verifying Learning Artificial Intelligence Systems (4 years Excellent of Science project, 2018-2021) in collaboration with KULeuven and U Namur Subgame perfection in graph games (4 years PDR FNRS project, 2018-2021) in collaboration…