Elizabeth Sloan

According to our database, Elizabeth Sloan authored at least 3 papers in 2025.

Collaborative distances:

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

2025

Mission-time Linear Temporal Logic.

Katherine Kosaian, Zili Wang, Elizabeth Sloan

Arch. Formal Proofs, 2025

Understanding Time in Space: Improving Timeline Understandability for Uncrewed Space Systems.

Elizabeth Sloan, Kristin Yvonne Rozier

Proceedings of the Advancing Human-Computer Interaction for Space Exploration, 2025

Formalizing MLTL Formula Progression in Isabelle/HOL.

Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Yvonne Rozier

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025