Mission-Time LTL (MLTL) Formula Validation via Regular Expressions.

Jenna Elwing, Laura P. Gamboa Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier

Browse the full IFM paper archive.