Milda Zizyte

According to our database, Milda Zizyte authored at least 8 papers between 2018 and 2024.

Collaborative distances:

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

2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems.

Casidhe Hutchison, Milda Zizyte, David Guttendorf, Claire Le Goues, Philip Koopman

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

2022

Should robotics engineering education include software engineering education?

Milda Zizyte, Trenton Tabor

Proceedings of the 4th International Workshop on Robotics Software Engineering, 2022

2021

The Importance of Safety Invariants in Robustness Testing Autonomy Systems.

Milda Zizyte, Casidhe Hutchison, Raewyn Duvall, Claire Le Goues, Philip Koopman

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2020

Better Robustness Testing for Autonomy Systems.

Milda Zizyte

PhD thesis, 2020

Detecting Execution Anomalies As an Oracle for Autonomy Software Robustness.

Deborah S. Katz, Casidhe Hutchison, Milda Zizyte, Claire Le Goues

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

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

Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020

2018

Robustness testing of autonomy software.

Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael Wagner, Claire Le Goues, Philip Koopman

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018