@inproceedings{LVR19,
    author = {Jianwen Li and Moshe Y.~Vardi and Kristin Y.~ Rozier},
    title = {Satisfiability Checking for {M}ission-Time {LTL}},
    booktitle = {{Proceedings of 31st International Conference on Computer Aided Verification (CAV)}},
    publisher = {Springer},
    series = {{LNCS}},
    volume = {11562},
    address = {New York, NY, USA},
    editors = {Isil Dillig and Serdar Tasiran},
    pages={3--22},
    doi = {https://doi.org/10.1007/978-3-030-25543-5_1},
    month = {July},
    year = {2019},
}