Christian Müller

Registered user since Tue 17 Nov 2020

Name:Christian Müller
Country:Germany
Affiliation:Technische Universität München, Saarland University

Contributions

SAS 2020 Author of Stratified Guarded First-order Transition Systems within the SAS-track
VMCAI 2020 Author of How to Win First-Order Safety Games within the VMCAI 2020-track