• Sign in
  • Sign up
conf.researchr.org / Stefan Mitsch
  • ICSE 2023 profile
  • NASA Formal Methods 2023 profile
  • NASA Formal Methods 2024 profile
  • PLDI 2018 profile
  • POPL 2022 profile
  • STAF 2023 profile
No Photo

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
xThu 22 May 07:15
using conf.researchr.org (v1.69.0)
Support page
Sign Up