@article(aceto2019adventures,
 author       = {Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ing{\'o}lfsd{\'o}ttir and Karoliina Lehtinen},
 year         = {2019},
 title        = {Adventures in monitorability: from branching to linear time and back again},
 journal      = {Proceedings of the ACM on Programming Languages},
 volume       = {3},
 number       = {POPL},
 pages        = {1--29},
 doi          = {10.1145/3290365},
)
@article(ourproofs,
 author       = {Rayhana Amjad and Rob van Glabbeek and Liam O'Connor},
 year         = {2024},
 title        = {Definitive Set Semantics for LTL3},
 journal      = {Archive of Formal Proofs},
 note         = {\url{https://isa-afp.org/entries/LTL3_Semantics.html}, Formal proof development},
)
@article(alpernschneider,
 author       = {Bowen Alpern and Fred B. Schneider},
 year         = {1985},
 title        = {Defining liveness},
 journal      = {Information Processing Letters},
 volume       = {21},
 number       = {4},
 pages        = {181--185},
 doi          = {10.1016/0020-0190(85)90056-0},
)
@inproceedings(fpltl3fm,
 author       = {Andreas Bauer and Yli{\`e}s Falcone},
 year         = {2012},
 title        = {Decentralised LTL Monitoring},
 booktitle    = {FM 2012: Formal Methods},
 publisher    = {Springer},
 pages        = {85--100},
 doi          = {10.1007/978-3-642-32759-9_10},
)
@inbook(progress1,
 author       = {Fahiem Bacchus and Froduald Kabanza},
 year         = {1996},
 title        = {Using Temporal Logic to Control Search in a Forward Chaining Planner},
 pages        = {141–153},
 publisher    = {IOS Press},
)
@inproceedings(partiallogic,
 author       = {Stephen Blamey},
 year         = {2002},
 title        = {Partial Logic},
 booktitle    = {Handbook of Philosophical Logic},
 publisher    = {Springer},
 pages        = {261--353},
 doi          = {10.1007/978-94-017-0458-8\_5},
)
@inproceedings(bauergbu,
 author       = {Andreas Bauer and Martin Leucker and Christian Schallhart},
 year         = {2007},
 title        = {The Good, the Bad, and the Ugly, But How Ugly Is Ugly?},
 booktitle    = {Runtime Verification},
 publisher    = {Springer},
 pages        = {126--138},
 doi          = {10.1007/978-3-540-77395-5_11},
)
@article(bauercomparing,
 author       = {Andreas Bauer and Martin Leucker and Christian Schallhart},
 year         = {2010},
 title        = {Comparing LTL Semantics for Runtime Verification},
 journal      = {Journal of Logic and Computation},
 volume       = {20},
 number       = {3},
 pages        = {651--674},
 doi          = {10.1093/logcom/exn075},
)
@article(ltl3tosem,
 author       = {Andreas Bauer and Martin Leucker and Christian Schallhart},
 year         = {2011},
 title        = {Runtime Verification for LTL and TLTL},
 journal      = {ACM Transactions on Software Engineering Methodology},
 volume       = {20},
 number       = {4},
 doi          = {10.1145/2000799.2000800},
)
@inproceedings(safetyprogress,
 author       = {Edward Chang and Zohar Manna and Amir Pnueli},
 year         = {1993},
 title        = {The Safety-Progress Classification},
 booktitle    = {Logic and Algebra of Specification},
 publisher    = {Springer},
 pages        = {143--202},
 doi          = {10.1007/978-3-642-58041-3_5},
)
@inproceedings(chai,
 author       = {Ming Chai and Bernd-Holger Schlingloff},
 year         = {2014},
 title        = {Online Monitoring of Distributed Systems with a Five-Valued LTL},
 booktitle    = {IEEE 44th International Symposium on Multiple-Valued Logic},
 pages        = {226--231},
 doi          = {10.1109/ISMVL.2014.47},
)
@inproceedings(ltlpm,
 author       = {Cindy Eisner and Dana Fisman and John Havlicek and Yoad Lustig and Anthony McIsaac and Van Campenhout, David},
 year         = {2003},
 title        = {Reasoning with Temporal Logic on Truncated Paths},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer},
 pages        = {27--39},
 doi          = {10.1007/978-3-540-45069-6_3},
)
@inproceedings(quant,
 author       = {Thomas A. Henzinger and Nicolas Mazzocchi and Sara{\c{c}}, N. Ege},
 year         = {2023},
 title        = {Quantitative Safety and Liveness},
 booktitle    = {Foundations of Software Science and Computation Structures},
 publisher    = {Springer},
 pages        = {349--370},
 doi          = {10.1007/978-3-031-30829-1_17},
)
@inproceedings(progress2,
 author       = {Froduald Kabanza and Sylvie Thi{\'{e}}baux},
 year         = {2005},
 title        = {Search Control in Planning for Temporally Extended Goals},
 booktitle    = {International Conference on Automated Planning and Scheduling},
 publisher    = {{AAAI}},
 pages        = {130--139},
)
@article(kupfermanvardi,
 author       = {Orna Kupferman and Moshe Y. Vardi},
 year         = {2001},
 title        = {Model Checking of Safety Properties},
 journal      = {Formal Methods in System Design},
 volume       = {19},
 number       = {3},
 pages        = {291--314},
 doi          = {10.1023/A:1011254632723},
)
@article(Lam77,
 author       = {Leslie Lamport},
 year         = {1977},
 title        = {Proving the correctness of multiprocess programs},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {3},
 number       = {2},
 pages        = {125--143},
 doi          = {10.1109/TSE.1977.229904},
)
@inproceedings(fltl,
 author       = {Orna Lichtenstein and Amir Pnueli and Lenore Zuck},
 year         = {1985},
 title        = {The Glory of the Past},
 booktitle    = {Logics of Programs},
 publisher    = {Springer},
 pages        = {196--218},
 doi          = {10.1007/3-540-15648-8_16},
)
@book(ltl,
 author       = {Zohar Manna and Amir Pnueli},
 year         = {1992},
 title        = {The Temporal Logic of Reactive and Concurrent Systems},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-0931-7},
)
@book(ltlsafety,
 author       = {Zohar Manna and Amir Pnueli},
 year         = {1995},
 title        = {Temporal Verification of Reactive Systems: Safety},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-4222-2},
)
@inproceedings(quickstrom,
 author       = {Liam O'Connor and Oskar Wickstr\"{o}m},
 year         = {2022},
 title        = {Quickstrom: Property-based Acceptance Testing with LTL Specifications},
 booktitle    = {Programming Language Design and Implementation},
 series       = {PLDI 2022},
 publisher    = {ACM},
 pages        = {1025–1038},
 doi          = {10.1145/3519939.3523728},
)
@article(rosu,
 author       = {Ro\c{s}u, Grigore and Klaus Havelund},
 year         = {2005},
 title        = {Rewriting-Based Techniques for Runtime Verification},
 journal      = {Automated Software Engineering},
 volume       = {12},
 number       = {2},
 pages        = {151--197},
 doi          = {10.1007/s10515-005-6205-y},
)
@inproceedings(rltl,
 author       = {Paulo Tabuada and Daniel Neider},
 year         = {2016},
 title        = {{Robust Linear Temporal Logic}},
 booktitle    = {25th EACSL Annual Conference on Computer Science Logic, \rm CSL 2016},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {62},
 publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
 pages        = {10:1--10:21},
 doi          = {10.4230/LIPIcs.CSL.2016.10},
)