Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefan Mitsch
conf.researchr.org general profile
NASA Formal Methods 2027 profile
SPLASH/ISSTA 2026 profile
Not registered as user
Name:
Stefan Mitsch
Country:
United States
Affiliation:
DePaul University
Contributions
2027
NFM
Committee Member in Program Committee within the NFM 2027-track
2026
SPLASH
Author of Hybrid Game Control Envelope Synthesis within the OOPSLA-track
Share
x
Fri 30 Oct 17:34