Milda Zizyte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | DSN | Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems. | Casidhe Hutchison, Milda Zizyte, David Guttendorf, Claire Le Goues, Philip Koopman |
| 2024 | FM | Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. | Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte |
| 2021 | DSN | The Importance of Safety Invariants in Robustness Testing Autonomy Systems. | Milda Zizyte, Casidhe Hutchison, Raewyn Duvall, Claire Le Goues, Philip Koopman |
| 2020 | DSN | Robustness Inside Out Testing. | Deborah S. Katz, Milda Zizyte, Casidhe Hutchison, David Guttendorf, Patrick E. Lanigan, Eric M. Sample, Philip Koopman, Michael Wagner, Claire Le Goues |
| 2020 | ICRA | Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness. | Deborah S. Katz, Casidhe Hutchison, Milda Zizyte, Claire Le Goues |
| 2018 | ICSE | Robustness testing of autonomy software. | Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael Wagner, Claire Le Goues, Philip Koopman |