Not registered as user yet

Name:Maurice Bruynooghe
Country:Belgium
Affiliation:Katholieke Universiteit Leuven

Contributions

VMCAI 2020 Author of Improving Parity Game Solvers with Justifications within the VMCAI 2020-track