Zili Wang, Katherine Kosaian: Mission-time Linear Temporal Logic to Regular Expressions. Arch. Formal Proofs 2025 (2025)