• Sign in
  • Sign up
conf.researchr.org / Stefan Mitsch
  • 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
xTue 5 Jul 20:43
using conf.researchr.org (v1.56.1)
Support page
Sign Up