Mission-Time LTL (MLTL) Formula Validation via Regular Expressions. - Jenna Elwing; Laura P. Gamboa Guzman; Jeremy Sorkin; Chiara Travesset; Zili Wang 004; Kristin Yvonne Rozier (iFM, 2023)