@inproceedings(abbas2014functional,
 author       = {Houssam Abbas and Andrew K. Winn and Georgios E. Fainekos and A. Agung Julius},
 year         = {2014},
 title        = {Functional gradient descent method for Metric Temporal Logic specifications},
 booktitle    = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6, 2014},
 publisher    = {{IEEE}},
 pages        = {2312--2317},
 doi          = {10.1109/ACC.2014.6859453},
)
@phdthesis(abbas2015test,
 author       = {Houssam Y Abbas},
 year         = {2015},
 title        = {Test-based falsification and conformance testing for cyber-physical systems},
 school       = {Arizona State University},
)
@inproceedings(DBLP:conf/cav/AdimoolamDDKJ17,
 author       = {Arvind S. Adimoolam and Thao Dang and Alexandre Donz{\'{e}} and James Kapinski and Xiaoqing Jin},
 year         = {2017},
 title        = {Classification and Coverage-Based Falsification for Embedded Control Systems},
 editor       = {Rupak Majumdar and Viktor Kuncak},
 booktitle    = {Computer Aided Verification - 29th Int. Conf., {CAV} 2017},
 series       = {LNCS},
 volume       = {10426},
 publisher    = {Springer},
 pages        = {483--503},
 doi          = {10.1007/978-3-319-63387-9\_24},
)
@inproceedings(DBLP:conf/cav/AkazakiH15,
 author       = {Takumi Akazaki and Ichiro Hasuo},
 year         = {2015},
 title        = {Time Robustness in {MTL} and Expressivity in Hybrid System Falsification},
 editor       = {Daniel Kroening and Corina S. Pasareanu},
 booktitle    = {Computer Aided Verification - 27th Int. Conf., {CAV} 2015},
 series       = {LNCS},
 volume       = {9207},
 publisher    = {Springer},
 pages        = {356--374},
 doi          = {10.1007/978-3-319-21668-3\_21},
)
@inproceedings(DBLP:conf/tacas/AnnpureddyLFS11,
 author       = {Yashwanth Annpureddy and Che Liu and Georgios E. Fainekos and Sriram Sankaranarayanan},
 year         = {2011},
 title        = {S-TaLiRo: {A} Tool for Temporal Logic Falsification for Hybrid Systems},
 editor       = {Parosh Aziz Abdulla and K. Rustan M. Leino},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems - 17th Int. Conf., {TACAS} 2011},
 series       = {LNCS},
 volume       = {6605},
 publisher    = {Springer},
 pages        = {254--257},
 doi          = {10.1007/978-3-642-19835-9\_21},
)
@inproceedings(DBLP:conf/cec/AugerH05,
 author       = {Anne Auger and Nikolaus Hansen},
 year         = {2005},
 title        = {A restart {CMA} evolution strategy with increasing population size},
 booktitle    = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC} 2005},
 publisher    = {{IEEE}},
 pages        = {1769--1776},
 doi          = {10.1109/CEC.2005.1554902},
)
@inproceedings(DBLP:conf/atva/DeshmukhJKM15,
 author       = {Jyotirmoy V. Deshmukh and Xiaoqing Jin and James Kapinski and Oded Maler},
 year         = {2015},
 title        = {Stochastic Local Search for Falsification of Hybrid Systems},
 editor       = {Bernd Finkbeiner and Geguang Pu and Lijun Zhang},
 booktitle    = {Automated Technology for Verification and Analysis - 13th Int. Symp., {ATVA} 2015},
 series       = {LNCS},
 volume       = {9364},
 publisher    = {Springer},
 pages        = {500--517},
 doi          = {10.1007/978-3-319-24953-7\_35},
)
@inproceedings(DBLP:conf/cav/Donze10,
 author       = {Alexandre Donz{\'{e}}},
 year         = {2010},
 title        = {Breach, {A} Toolbox for Verification and Parameter Synthesis of Hybrid Systems},
 editor       = {Tayssir Touili and Byron Cook and Paul B. Jackson},
 booktitle    = {Computer Aided Verification, 22nd Int. Conf., {CAV} 2010},
 series       = {LNCS},
 volume       = {6174},
 publisher    = {Springer},
 pages        = {167--170},
 doi          = {10.1007/978-3-642-14295-6\_17},
)
@inproceedings(DBLP:conf/cav/DonzeFM13,
 author       = {Alexandre Donz{\'{e}} and Thomas Ferr{\`{e}}re and Oded Maler},
 year         = {2013},
 title        = {Efficient Robust Monitoring for {STL}},
 editor       = {Natasha Sharygina and Helmut Veith},
 booktitle    = {Computer Aided Verification - 25th Int. Conf., {CAV} 2013},
 series       = {LNCS},
 volume       = {8044},
 publisher    = {Springer},
 pages        = {264--279},
 doi          = {10.1007/978-3-642-39799-8\_19},
)
@inproceedings(DBLP:conf/formats/DonzeM10,
 author       = {Alexandre Donz{\'{e}} and Oded Maler},
 year         = {2010},
 title        = {Robust Satisfaction of Temporal Logic over Real-Valued Signals},
 editor       = {Krishnendu Chatterjee and Thomas A. Henzinger},
 booktitle    = {Formal Modeling and Analysis of Timed Systems - 8th Int. Conf., {FORMATS} 2010},
 series       = {LNCS},
 volume       = {6246},
 publisher    = {Springer},
 pages        = {92--106},
 doi          = {10.1007/978-3-642-15297-9\_9},
)
@inproceedings(DBLP:conf/nfm/DreossiDDKJD15,
 author       = {Tommaso Dreossi and Thao Dang and Alexandre Donz{\'{e}} and James Kapinski and Xiaoqing Jin and Jyotirmoy V. Deshmukh},
 year         = {2015},
 title        = {Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems},
 editor       = {Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi},
 booktitle    = {{NASA} Formal Methods - 7th Int. Symp., {NFM} 2015},
 series       = {LNCS},
 volume       = {9058},
 publisher    = {Springer},
 pages        = {127--142},
 doi          = {10.1007/978-3-319-17524-9\_10},
)
@inproceedings(DBLP:conf/nfm/DreossiDS17,
 author       = {Tommaso Dreossi and Alexandre Donz{\'{e}} and Sanjit A. Seshia},
 year         = {2017},
 title        = {Compositional Falsification of Cyber-Physical Systems with Machine Learning Components},
 editor       = {Clark Barrett and Misty Davies and Temesghen Kahsai},
 booktitle    = {{NASA} Formal Methods - 9th Int. Symp., {NFM} 2017},
 series       = {LNCS},
 volume       = {10227},
 pages        = {357--372},
 doi          = {10.1007/978-3-319-57288-8\_26},
)
@inproceedings(DBLP:conf/tacas/DuggiralaMVP15,
 author       = {Parasara Sridhar Duggirala and Sayan Mitra and Mahesh Viswanathan and Matthew Potok},
 year         = {2015},
 title        = {{C2E2:} {A} Verification Tool for Stateflow Models},
 editor       = {Christel Baier and Cesare Tinelli},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems - 21st Int. Conf., {TACAS} 2015},
 series       = {LNCS},
 volume       = {9035},
 publisher    = {Springer},
 pages        = {68--82},
 doi          = {10.1007/978-3-662-46681-0\_5},
)
@article(DBLP:journals/tcs/FainekosP09,
 author       = {Georgios E. Fainekos and George J. Pappas},
 year         = {2009},
 title        = {Robustness of temporal logic specifications for continuous-time signals},
 journal      = {Theor. Comput. Sci.},
 volume       = {410},
 number       = {42},
 pages        = {4262--4291},
 doi          = {10.1016/j.tcs.2009.06.021},
)
@inproceedings(DBLP:conf/cpsweek/HoxhaAF14,
 author       = {Bardh Hoxha and Houssam Abbas and Georgios E. Fainekos},
 year         = {2014},
 title        = {Benchmarks for Temporal Logic Requirements for Automotive Systems},
 editor       = {Goran Frehse and Matthias Althoff},
 booktitle    = {1st and 2nd Int. Workshops on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014 and 2105},
 series       = {EPiC Series in Computing},
 volume       = {34},
 publisher    = {EasyChair},
 pages        = {25--30},
 doi          = {10.29007/xwrs},
)
@article(DBLP:journals/sttt/HoxhaDF18,
 author       = {Bardh Hoxha and Adel Dokhanchi and Georgios E. Fainekos},
 year         = {2018},
 title        = {Mining parametric temporal logic properties in model-based design for cyber-physical systems},
 journal      = {{STTT}},
 volume       = {20},
 number       = {1},
 pages        = {79--93},
 doi          = {10.1007/s10009-017-0447-4},
)
@inproceedings(DBLP:conf/hybrid/JinDKUB14,
 author       = {Xiaoqing Jin and Jyotirmoy V. Deshmukh and James Kapinski and Koichi Ueda and Kenneth R. Butts},
 year         = {2014},
 title        = {Powertrain control verification benchmark},
 editor       = {Martin Fr{\"{a}}nzle and John Lygeros},
 booktitle    = {17th International Conference on Hybrid Systems: Computation and Control (part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
 publisher    = {{ACM}},
 pages        = {253--262},
 doi          = {10.1145/2562059.2562140},
)
@article(kapinski2016simulation,
 author       = {James Kapinski and Jyotirmoy V Deshmukh and Xiaoqing Jin and Hisahiro Ito and Ken Butts},
 year         = {2016},
 title        = {Simulation-based approaches for verification of embedded control systems: an overview of traditional and advanced modeling, testing, and verification techniques},
 journal      = {IEEE Control Systems},
 volume       = {36},
 number       = {6},
 pages        = {45--64},
 doi          = {10.1109/MCS.2016.2602089},
)
@inproceedings(DBLP:conf/hybrid/KimAS16,
 author       = {Eric S. Kim and Murat Arcak and Sanjit A. Seshia},
 year         = {2016},
 title        = {Directed Specifications and Assumption Mining for Monotone Dynamical Systems},
 editor       = {Alessandro Abate and Georgios E. Fainekos},
 booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14, 2016},
 publisher    = {{ACM}},
 pages        = {21--30},
 doi          = {10.1145/2883817.2883833},
)
@inproceedings(DBLP:conf/formats/KuratkoR14,
 author       = {Jan Kur{\'{a}}tko and Stefan Ratschan},
 year         = {2014},
 title        = {Combined Global and Local Search for the Falsification of Hybrid Systems},
 editor       = {Axel Legay and Marius Bozga},
 booktitle    = {Formal Modeling and Analysis of Timed Systems - 12th Int. Conf., {FORMATS} 2014},
 series       = {LNCS},
 volume       = {8711},
 publisher    = {Springer},
 pages        = {146--160},
 doi          = {10.1007/978-3-319-10512-3\_11},
)
@inproceedings(DBLP:conf/formats/MalerN04,
 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, Joint Int. Confs. on Formal Modelling and Analysis of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, {FTRTFT} 2004},
 series       = {LNCS},
 volume       = {3253},
 publisher    = {Springer},
 pages        = {152--166},
 doi          = {10.1007/978-3-540-30206-3\_12},
)
@inproceedings(DBLP:conf/tacas/UlusFAM16,
 author       = {Dogan Ulus and Thomas Ferr{\`{e}}re and Eugene Asarin and Oded Maler},
 year         = {2016},
 title        = {Online Timed Pattern Matching Using Derivatives},
 editor       = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd Int. Conf., {TACAS} 2016},
 series       = {LNCS},
 volume       = {9636},
 publisher    = {Springer},
 pages        = {736--751},
 doi          = {10.1007/978-3-662-49674-9\_47},
)
@article(DBLP:journals/tec/DolpertM97,
 author       = {David Wolpert and William G. Macready},
 year         = {1997},
 title        = {No free lunch theorems for optimization},
 journal      = {{IEEE} Trans. Evolutionary Computation},
 volume       = {1},
 number       = {1},
 pages        = {67--82},
 doi          = {10.1109/4235.585893},
)
@inproceedings(DBLP:conf/emsoft/ZutshiDSK14,
 author       = {Aditya Zutshi and Jyotirmoy V. Deshmukh and Sriram Sankaranarayanan and James Kapinski},
 year         = {2014},
 title        = {Multiple shooting, CEGAR-based falsification for hybrid systems},
 editor       = {Tulika Mitra and Jan Reineke},
 booktitle    = {2014 International Conference on Embedded Software, {EMSOFT} 2014, New Delhi, India, October 12-17, 2014},
 publisher    = {{ACM}},
 pages        = {5:1--5:10},
 doi          = {10.1145/2656045.2656061},
)