STAF 2023
Tue 18 - Fri 21 July 2023
Leicester, United Kingdom
Toggle navigation
Attending
Venue: College Court, Leicester, UK
Cultural Activities
Instructions for Presenters, Participants, and Chairs
Registration
Social Events
Info
Sponsorship Opportunities
Previous Editions
Program
STAF Program
Your Program
Schedule Overview
Proceedings
Tue 18 Jul
Wed 19 Jul
Thu 20 Jul
Fri 21 Jul
Tracks
STAF 2023
Keynotes
Workshop Proposals
Co-hosted Conferences
ECMFA
ECMFA
ECMFA
Technical Track
ICGT
ICGT
ICGT
Research Papers
ICGT
Journal-First
TAP
TAP
TAP
Research Papers
Workshops
AI4SE@STAF
Agile MDE
FPVM
GCM
HEDA
MeSS
Contests
TTC
Organization
STAF 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Workshop Evaluation Committee
Contributors
People Index
Co-hosted Conferences
ECMFA
Steering Committee
Program Committee
ICGT
Steering Committee
Research Papers
Journal-First
TAP
Program Committee Chairs
Program Committee
Web Chair
Workshops
AI4SE@STAF
Organizing Committee
Program Committee
Agile MDE
Organising Committee
Program Committee
FPVM
Organizing Committee
Web Chair
Program committee
GCM
Program Committee
HEDA
Organizing Committee
Program Committee
MeSS
Organizing Committee
Program Committee
Contests
TTC
Organizing Committee
Program Committee
Steering Committee
Search
Series
Series
STAF 2025
STAF 2024
STAF 2023
Sign in
Sign up
STAF 2023
(
series
) /
Megan Strauss
STAF 2023 profile
conf.research.org general profile
Not registered as user
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
Share
STAF 2023-profile
View general profile
x
Fri 27 Dec 04:07