Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefan Mitsch
conf.researchr.org general profile
PLDI 2018 profile
POPL 2022 profile
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
Share
x
Tue 5 Jul 20:43