Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefan Mitsch
conf.researchr.org general profile
ICSE 2023 profile
NASA Formal Methods 2023 profile
NASA Formal Methods 2024 profile
PLDI 2018 profile
POPL 2022 profile
STAF 2023 profile
Registered user since Thu 25 Nov 2021
Name:
Stefan Mitsch
Country:
United States
Affiliation:
DePaul University
Contributions
2024
NFM
Committee Member in Program Committee within the NFM 2024-track
2023
TAP
Author of Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars within the Research Papers-track
ICSE
Author of Pegasus: A Framework for Sound Continuous Invariant Generation within the Showcase-track
NFM
Committee Member in Program Committee within the NFM 2023-track
Author of Reward Shaping from Hybrid Systems Models in Reinforcement Learning within the NFM 2023-track
2022
VMCAI
Author of Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems within the VMCAI 2022-track
2018
PLDI
Author of VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models within the PLDI Research Papers-track
Share
x
Sat 21 Dec 16:47