@inproceedings(annpureddy2011s,
 author       = {Yashwanth Annpureddy and Che Liu and Georgios Fainekos and Sriram Sankaranarayanan},
 year         = {2011},
 title        = {S-taliro: A tool for temporal logic falsification for hybrid systems},
 booktitle    = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
 organization = {Springer},
 pages        = {254--257},
 doi          = {10.1007/978-3-642-19835-9_21},
)
@article(bartocci2016computational,
 author       = {Ezio Bartocci and Pietro Li{\'o}},
 year         = {2016},
 title        = {Computational modeling, formal analysis, and tools for systems biology},
 journal      = {PLoS computational biology},
 volume       = {12},
 number       = {1},
 pages        = {e1004591},
 doi          = {10.1371/journal.pcbi.1004591.t001},
)
@inproceedings(clarke82,
 author       = {Edmund M. Clarke and E. Allen Emerson},
 year         = {1982},
 title        = {Design and synthesis of synchronization skeletons using branching time temporal logic},
 editor       = {Dexter Kozen},
 booktitle    = {Logics of Programs},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {52--71},
 doi          = {10.1137/0201010},
)
@inproceedings(desai2017combining,
 author       = {Ankush Desai and Tommaso Dreossi and Sanjit A Seshia},
 year         = {2017},
 title        = {Combining model checking and runtime verification for safe robotics},
 booktitle    = {International Conference on Runtime Verification},
 organization = {Springer},
 pages        = {172--189},
 doi          = {10.1007/978-3-642-35632-2_18},
)
@inproceedings(donze2010breach,
 author       = {Alexandre Donz{\'e}},
 year         = {2010},
 title        = {Breach, a toolbox for verification and parameter synthesis of hybrid systems},
 booktitle    = {International Conference on Computer Aided Verification},
 organization = {Springer},
 pages        = {167--170},
 doi          = {10.1007/3-540-36580-X_22},
)
@inproceedings(donze2013efficient,
 author       = {Alexandre Donz{\'e} and Thomas Ferrere and Oded Maler},
 year         = {2013},
 title        = {Efficient robust monitoring for STL},
 booktitle    = {Computer Aided Verification},
 organization = {Springer},
 pages        = {264--279},
 doi          = {10.1016/S0019-9958(65)90241-X},
)
@article(dreossi2019compositional,
 author       = {Tommaso Dreossi and Alexandre Donz{\'e} and Sanjit A Seshia},
 year         = {2019},
 title        = {Compositional falsification of cyber-physical systems with machine learning components},
 journal      = {Journal of Automated Reasoning},
 volume       = {63},
 number       = {4},
 pages        = {1031--1053},
 doi          = {10.1007/BF01475864},
)
@article(fainekos2009robustness,
 author       = {Georgios E Fainekos and George J Pappas},
 year         = {2009},
 title        = {Robustness of temporal logic specifications for continuous-time signals},
 journal      = {Theoretical Computer Science},
 volume       = {410},
 number       = {42},
 pages        = {4262--4291},
 doi          = {10.1016/j.tcs.2009.06.021},
)
@article(goldstein2016comparative,
 author       = {Markus Goldstein and Seiichi Uchida},
 year         = {2016},
 title        = {A comparative evaluation of unsupervised anomaly detection algorithms for multivariate data},
 journal      = {PloS one},
 volume       = {11},
 number       = {4},
 pages        = {e0152173},
 doi          = {10.1371/journal.pone.0152173.t006},
)
@inproceedings(jin2014powertrain,
 author       = {Xiaoqing Jin and Jyotirmoy V Deshmukh and James Kapinski and Koichi Ueda and Ken Butts},
 year         = {2014},
 title        = {Powertrain control verification benchmark},
 booktitle    = {Hybrid systems: Computation and Control},
 organization = {ACM},
 pages        = {253--262},
 doi          = {10.1145/2562059.2562140},
)
@article(Koymans1990,
 author       = {Ron Koymans},
 year         = {1990},
 title        = {Specifying real-time properties with metric temporal logic},
 journal      = {Real-Time Systems},
 volume       = {2},
 number       = {4},
 pages        = {255--299},
 doi          = {10.1007/BF01995674},
)
@inproceedings(lima2010anomaly,
 author       = {Mois{\'e}s F Lima and Bruno B Zarpelao and Lucas DH Sampaio and Joel JPC Rodrigues and Taufik Abrao and Proen{\c{c}}a, Mario Lemes},
 year         = {2010},
 title        = {Anomaly detection using baseline and k-means clustering},
 booktitle    = {SoftCOM 2010, 18th International Conference on Software, Telecommunications and Computer Networks},
 organization = {IEEE},
 pages        = {305--309},
)
@article(1500000016,
 author       = {Tie-Yan Liu},
 year         = {2009},
 title        = {Learning to Rank for Information Retrieval},
 journal      = {Found. Trends Inf. Retr.},
 volume       = {3},
 number       = {3},
 pages        = {225–331},
 doi          = {10.1561/1500000016},
)
@inproceedings(maler2004,
 author       = {Oded Maler and Dejan Nickovic},
 year         = {2004},
 title        = {Monitoring Temporal Properties of Continuous Signals},
 editor       = {Yassine Lakhnech and Sergio Yovine},
 booktitle    = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {152--166},
 doi          = {10.1007/3-540-45739-9_14},
)
@inproceedings(mckinney-proc-scipy-2010,
 author       = {Wes McKinney},
 year         = {2010},
 title        = {Data Structures for Statistical Computing in Python},
 editor       = {St\'efan van der Walt and Jarrod Millman},
 booktitle    = {Python in Science Conference},
 pages        = {51 -- 56},
 doi          = {10.25080/Majora-92bf1922-00a},
)
@inproceedings(pant2019fly,
 author       = {Yash Vardhan Pant and Rhudii A Quaye and Houssam Abbas and Akarsh Varre and Rahul Mangharam},
 year         = {2019},
 title        = {Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic},
 booktitle    = {NASA Formal Methods Symposium},
 organization = {Springer},
 pages        = {355--362},
 doi          = {10.1007/978-3-642-15297-9_9},
)
@inproceedings(pnu77,
 author       = {A. {Pnueli}},
 year         = {1977},
 title        = {The temporal logic of programs},
 booktitle    = {18th Annual Symposium on Foundations of Computer Science (sfcs 1977)},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@article(steinwart2005classification,
 author       = {Ingo Steinwart and Don Hush and Clint Scovel},
 year         = {2005},
 title        = {A classification framework for anomaly detection},
 journal      = {Journal of Machine Learning Research},
 volume       = {6},
 number       = {Feb},
 pages        = {211--232},
 doi          = {10.5555/1046920.1058109},
)
@inproceedings(tuncali2018simulation,
 author       = {Cumhur Erkan Tuncali and Georgios Fainekos and Hisahiro Ito and James Kapinski},
 year         = {2018},
 title        = {Simulation-based adversarial test generation for autonomous vehicles with machine learning components},
 booktitle    = {2018 IEEE Intelligent Vehicles Symposium (IV)},
 organization = {IEEE},
 pages        = {1555--1562},
 doi          = {10.1109/IVS.2018.8500421},
)
@misc(pyMTL,
 author       = {Vazquez-Chanlatte, Marcell},
 year         = {2019},
 title        = {mvcisback/py-metric-temporal-logic: v0.1.1},
 doi          = {10.5281/zenodo.2548862},
)