Elizabeth Dietrich

According to our database, Elizabeth Dietrich authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Nonconvex scenario optimization for data-driven reachability.

Elizabeth Dietrich, Alex Devonport, Murat Arcak

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

2023

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

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2021

A beginner guide to Iris, Coq and separation logic.

Elizabeth Dietrich

CoRR, 2021