Jianwen Li, Moshe Y. Vardi, Kristin Y. Rozier. Satisfiability checking for Mission-time LTL (MLTL). Inf. Comput., 289(Part):104923, 2022. [doi]
@article{LiVR22,
title = {Satisfiability checking for Mission-time LTL (MLTL)},
author = {Jianwen Li and Moshe Y. Vardi and Kristin Y. Rozier},
year = {2022},
doi = {10.1016/j.ic.2022.104923},
url = {https://doi.org/10.1016/j.ic.2022.104923},
researchr = {https://researchr.org/publication/LiVR22},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104923},
}