Language Partitioning for Mission-Time Linear Temporal Logic. - Alec Rosentrater; Zili Wang 004; Katherine Kosaian; Kristin Yvonne Rozier (NFM, 2025)

Language Partitioning for Mission-time Linear Temporal Logic. - Zili Wang 004; Katherine Kosaian; Alec Rosentrater (Arch. Formal Proofs, 2025)