WEST: Interactive Validation of Mission-time LTL (MLTL) Via Regular Expressions

This webpage contains further details and artifacts for reproducibility of the experiments in:

• 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.
• Wang, Z., Gamboa-Guzman, L., Rozier, K.Y. (2024) WEST: Interactive Validation of Mission-time Linear Temporal Logic (MLTL). To appear in Science of Computer Programming.

---

Contact

For further information, please contact Zili Wang.