Elwing, J., Gamboa-Guzman, L., Sorkin, J., Travesset, C., Wang, Z., Rozier, K.Y. (2024). Mission-Time LTL (MLTL) Formula Validation via Regular Expressions. In: Herber, P., Wijs, A. (eds) iFM 2023. iFM 2023. Lecture Notes in Computer Science, vol 14300. Springer, Cham. https://doi.org/10.1007/978-3-031-47705-8_15
Theresa C Anderson, Chiara Travesset, Joey Veltri, The Structure of Weight and Function Classes With Coprime Bases, The Quarterly Journal of Mathematics, haac014 (2022). https://doi.org/10.1093/qmath/haac014