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.
WEST implementation and supplemental material:
The latest version of WEST is always available on the Github repository.
Artifact for the 2024 paper - Supplement for "WEST: Interactive Validation of Mission-time Linear Temporal Logic (MLTL)" by Wang, Z., Gamboa-Guzman, L., Rozier, K.Y.
Artifact for the 2023 paper- Supplement for "Mission-time LTL (MLTL) Formula Validation Via Regular Expressions" by Elwing, J., Gamboa-Guzman, L., Sorkin, J., Travesset, C., Wang, Z., Rozier, K.Y.
Download extended version of the 2023 paper - Supplement for "Mission-time LTL (MLTL) Formula Validation Via Regular Expressions" by Elwing, J., Gamboa-Guzman, L., Sorkin, J., Travesset, C., Wang, Z., Rozier, K.Y.