Not registered as user yet

Name:Johannes Lehmann
Country:Germany
Affiliation:RWTH Aachen University

Contributions

VMCAI 2022 Author of Out of Control: Reducing Probabilistic Models by Control-State Elimination within the VMCAI 2022-track