Elizabeth Dietrich

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Step By Step Instructions

Collision Avoidance

Top Venues

Publications

Elizabeth Dietrich, Alex Devonport, Murat Arcak
Nonconvex scenario optimization for data-driven reachability. L4DC (2024)
Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha
A Safety Fallback Controller for Improved Collision Avoidance. ICAA (2023)
Elizabeth Dietrich
A beginner guide to Iris, Coq and separation logic. CoRR (2021)