Elizabeth Dietrich

Orcid: 0009-0003-9427-0932

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Finite-Step Invariant Sets for Hybrid Systems with Probabilistic Guarantees.
CoRR, April, 2026

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

Importance Sampling for Statistical Certification of Viable Initial Sets.
CoRR, April, 2026

2025
pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis.
CoRR, November, 2025

Symbolic Control for Autonomous Docking of Marine Surface Vessels.
Proceedings of the 64th IEEE Conference on Decision and Control, 2025

Data-Driven Reachability with Scenario Optimization and the Holdout Method.
Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2024
Nonconvex scenario optimization for data-driven reachability.
Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

2023
A Safety Fallback Controller for Improved Collision Avoidance.
Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2021
A beginner guide to Iris, Coq and separation logic.
CoRR, 2021


  Loading...