TAP 2023
Tue 18 - Wed 19 July 2023
Leicester, United Kingdom
co-located with
STAF 2023
Toggle navigation
Attending
Venue: College Court, Leicester, UK
STAF 2023
Cultural Activities
Instructions for Presenters, Participants, and Chairs
Registration
Social Events
Program
TAP Program
Your Program
Accepted Papers
Tue 18 Jul
Wed 19 Jul
Tracks
TAP 2023
Research Papers
STAF 2023
Keynotes
Organization
TAP 2023 Committees
Track Committees
Program Committee Chairs
Program Committee
Web Chair
Contributors
People Index
Search
Series
Sign in
Sign up
STAF 2023
(
series
) /
TAP 2023
(
series
) /
Stefan Mitsch
STAF 2023 profile
conf.research.org general profile
ICSE 2023 profile
NASA Formal Methods 2023 profile
NASA Formal Methods 2024 profile
PLDI 2018 profile
POPL 2022 profile
Registered user since Thu 25 Nov 2021
Name:
Stefan Mitsch
Country:
United States
Affiliation:
Carnegie Mellon University, USA
Contributions
2023
TAP
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars
Show activities from other conferences
Share
STAF 2023-profile
View general profile
x
Wed 4 Dec 10:18