Login / Signup
Elizabeth Dietrich
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Step By Step Instructions
Collision Avoidance
Deontic Logic
Iris Images
Top Venues
L4DC
CoRR
ICAA
</>
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)