Formalizing MLTL Formula Progression in Isabelle/HOL. - Katherine Kosaian; Zili Wang 004; Elizabeth Sloan; Kristin Y. Rozier (CoRR, 2024)

Mission-time Linear Temporal Logic. - Katherine Kosaian; Zili Wang 004; Elizabeth Sloan (Arch. Formal Proofs, 2025)