Megan Strauss - ECMFA 2023

Thu 20 - Fri 21 July 2023 Leicester, United Kingdom

co-located with STAF 2023

Not registered as user yet

Name:Megan Strauss

Country:United States

Affiliation:Carnegie Mellon University

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