Stefan Mitsch -

Registered user since Thu 25 Nov 2021

Name:Stefan Mitsch

Affiliation:Carnegie Mellon University, USA

Contributions

VMCAI 2022	Author of Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems within the VMCAI 2022-track
PLDI 2018	Author of VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models within the PLDI Research Papers-track