A beginner guide to Iris, Coq and separation logic. - Elizabeth Dietrich (CoRR, 2021)

A Safety Fallback Controller for Improved Collision Avoidance. - Daniel Genin; Elizabeth Dietrich; Yanni Kouskoulas; Aurora C. Schmidt; Marin Kobilarov; Kapil D. Katyal; Shahriar Sefati; Subhransu Mishra; Ivan Papusha (ICAA, 2023)

Nonconvex scenario optimization for data-driven reachability. - Elizabeth Dietrich; Alex Devonport; Murat Arcak (L4DC, 2024)

Symbolic Control for Autonomous Docking of Marine Surface Vessels. - Elizabeth Dietrich; Emir Cem Gezer; Bingzhuo Zhong; Murat Arcak; Majid Zamani 001; Roger Skjetne; Asgeir Johan Sørensen (CoRR, 2025)

Data-Driven Reachability with Scenario Optimization and the Holdout Method. - Elizabeth Dietrich; Rosalyn A. Devonport; Stephen Tu; Murat Arcak (CoRR, 2025)