Elizabeth Dietrich

According to our database, Elizabeth Dietrich authored at least 9 papers between 2021 and 2026.

Collaborative distances:

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

2026

Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees.

Varun Madabushi, Elizabeth Dietrich, Hanna Krasowski, Maegan Tucker

CoRR, April, 2026

Probably Approximately Correct (PAC) Guarantees for Data-Driven Reachability Analysis: A Theoretical and Empirical Comparison.

Elizabeth Dietrich, Hanna Krasowski, Murat Arcak

CoRR, April, 2026

Importance Sampling for Statistical Certification of Viable Initial Sets.

Elizabeth Dietrich, Hanna Krasowski, Vegard Flovik, Murat Arcak

CoRR, April, 2026

2025

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis.

Elizabeth Dietrich, Hanna Krasowski, Emir Cem Gezer, Roger Skjetne, Asgeir Johan Sørensen, Murat Arcak

CoRR, November, 2025

Symbolic Control for Autonomous Docking of Marine Surface Vessels.

Elizabeth Dietrich, Emir Cem Gezer, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Roger Skjetne, Asgeir Johan Sørensen

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

Data-Driven Reachability with Scenario Optimization and the Holdout Method.

Elizabeth Dietrich, Rosalyn A. Devonport, Stephen Tu, Murat Arcak

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

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