Stefan Mitsch - TAP 2023

Tue 18 - Wed 19 July 2023 Leicester, United Kingdom

co-located with STAF 2023

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

STAF 2023-profile
View general profile