Elina Sudit

PhD Student in Computer Science
BGU

---

Publications

• D. Fisman and E. Sudit. (2026).
  Quantitative Refinement of Objectives: Runtime Consultants and Path Planning.
  In 26th International Conference on Runtime Verification (RV 2026).

• D. Fisman, E. Sudit and O.Zimerman. (2026).
  Learning Omega-Regular Languages: A Tour of Learning Results and Canonical Representations.
  In Timeless Machines: Computability Across Eras (CiE 2026).
  Springer

• D. Fisman and E. Sudit. (2025).
  Runtime consultants.
  In 25th International Conference on Runtime Verification (RV 2025).
  Springer | arXiv (full version)

• D. Fisman and E. Sudit.
  Omega-Regular Robustness.
  Preprint on arXiv

---

Talks & Presentations

• “Quantitative Refinement of Objectives: Runtime Consultants and Path Planning”
  26th International Conference on Runtime Verification, Queen’s University
  October 2026

• “Runtime consultants”
  Highlights of Logic, Games and Automata 2026, TU Wien
  September 2026

• “Runtime consultants”
  Formal Methods and Verification Seminar, BIU
  May 2026

• “Runtime consultants”
  IVD 2026, Technion
  February 2026

• “Runtime consultants”
  25th International Conference on Runtime Verification, Graz University of Technology
  September 2025

• “Omega-Regular Robustness”
  Highlights of Logic, Games and Automata 2025, Saarland University
  September 2025

• “Omega-Regular Robustness”
  IVD 2024, BIU
  December 2024

---

Contact

Email: elinasu@post.bgu.ac.il