@article{julia,
  title={Julia: A fresh approach to numerical computing},
  author={Jeff Bezanson and Alan Edelman and Stefan Karpinski and Viral B. Shah},
  journal={{SIAM Review}},
  volume={59},
  number={1},
  pages={65--98},
  year={2017},
  publisher={SIAM},
  doi={10.1137/141000671}
}


@article{pomdps_jl,
  author  = {Maxim Egorov and Zachary N. Sunberg and Edward Balaban and Tim A. Wheeler and Jayesh K. Gupta and Mykel J. Kochenderfer},
  title   = {{{POMDP}s.jl: A Framework for Sequential Decision Making under Uncertainty}},
  journal = {{Journal of Machine Learning Research}},
  year    = {2017},
  volume  = {18},
  number  = {26},
  pages   = {1-5}
}

@incollection{ast,
  title={{Adaptive Stress Testing of Safety-Critical Systems}},
  author={Ritchie Lee and Ole J. Mengshoel and Mykel J. Kochenderfer},
  booktitle={{Safe, Autonomous and Intelligent Vehicles}},
  pages={77--95},
  year={2019},
  publisher={Springer},
  doi={10.1007/978-3-319-97301-2_5}
}

@INPROCEEDINGS{ast_acasx,
author={Ritchie Lee and Mykel J. Kochenderfer and Ole J. Mengshoel and Guillaume P. Brat and Michael P. Owen},
booktitle={{IEEE/AIAA Digital Avionics Systems Conference (DASC)}},
title={Adaptive stress testing of airborne collision avoidance systems},
year={2015},
volume={},
number={},
ISSN={2155-7209},
month={9},
doi={10.1109/DASC.2015.7311450}
}


@INPROCEEDINGS{ast_fms,
author={Robert J. Moss and Ritchie Lee and Nicholas Visser and Joachim Hochwarth and James G. Lopez and Mykel J. Kochenderfer},
booktitle={{IEEE/AIAA Digital Avionics Systems Conference (DASC)}},
title={{Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems}},
year={2020},
volume={},
number={},
doi={10.1109/DASC50938.2020.9256730}}


@INPROCEEDINGS{ast_av,
author={Mark Koren and Saud Alsaif and Ritchie Lee and Mykel J. Kochenderfer},
booktitle={{IEEE Intelligent Vehicles Symposium (IV)}},
title={{Adaptive Stress Testing for Autonomous Vehicles}},
year={2018},
volume={},
number={},
pages={1-7},
ISSN={1931-0587},
month={6},
doi={10.1109/IVS.2018.8500400}
}

@inproceedings{mcts,
  title={{Efficient Selectivity and Backup Operators in Monte-Carlo Tree Search}},
  author={Coulom, R{\'e}mi},
  booktitle={{International Conference on Computers and Games}},
  pages={72--83},
  year={2006},
  organization={Springer},
  doi={10.1007/978-3-540-75538-8_7}
}

@inproceedings{trpo,
  title={{Trust Region Policy Optimization}},
  author={Schulman, John and Levine, Sergey and Abbeel, Pieter and Jordan, Michael and Moritz, Philipp},
  booktitle={{International Conference on Machine Learning}},
  pages={1889--1897},
  year={2015}
}

@article{ppo,
  title={{Proximal Policy Optimization Algorithms}},
  author={Schulman, John and Wolski, Filip and Dhariwal, Prafulla and Radford, Alec and Klimov, Oleg},
  journal={arXiv:1707.06347},
  year={2017}
}

@article{cem,
  title={{The Cross-Entropy Method for Combinatorial and Continuous Optimization}},
  author={Rubinstein, Reuven},
  journal={{Methodology and Computing in Applied Probability}},
  volume={1},
  number={2},
  pages={127--190},
  year={1999},
  publisher={Springer},
  doi={10.1023/A:1010091220143}
}

@inproceedings{staliro,
  title={{S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems}},
  author={Annapureddy, Yashwanth and Liu, Che and Fainekos, Georgios and Sankaranarayanan, Sriram},
  booktitle={{Tools and Algorithms for the Construction and Analysis of Systems (TACAS)}},
  pages={254--257},
  year={2011},
  organization={Springer},
  doi={10.1007/978-3-642-19835-9_21}
}

@inproceedings{breach,
  title={{Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems}},
  author={Donz\'{e}, Alexandre},
  booktitle={{Computer Aided Verification}},
  pages={167--170},
  year={2010},
  organization={Springer},
  doi={10.1007/978-3-642-14295-6_17}
}

@article{falstar,
  title={{Two-Layered Falsification of Hybrid Systems Guided by {M}onte {C}arlo Tree Search}},
  author={Zhang, Zhenya and Ernst, Gidon and Sedwards, Sean and Arcaini, Paolo and Hasuo, Ichiro},
  journal={{IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}},
  volume={37},
  number={11},
  pages={2894--2905},
  year={2018},
  publisher={IEEE},
  doi={10.1109/TCAD.2018.2858463}
}

@article{gym,
  title={{OpenAI} gym},
  author={Brockman, Greg and Cheung, Vicki and Pettersson, Ludwig and Schneider, Jonas and Schulman, John and Tang, Jie and Zaremba, Wojciech},
  journal={arXiv:1606.01540},
  year={2016}
}

@misc{do178c,
  title={{Software Considerations in Airborne Systems and Equipment Certification}},
  author={RTCA},
  howpublished={DO-178C},
  month={12},
  year={2011}
}