Sign in
Elizabeth Dietrich
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Step By Step Instructions
Deontic Logic
Collision Avoidance
Theorem Prover
Top Venues
CoRR
ICAA
</>
Publications
</>
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)