Megan Strauss

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Statistical Model

Formal Verification

Top Venues

Publications

Megan Strauss, Stefan Mitsch
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. TAP (2023)
Megan Strauss, Stefan Mitsch
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. CoRR (2023)