https://github.com/sisl/POMDPStressTesting.jl
Tip revision: d31b47629b8174d136eca79c37de7578fc36df22 authored by Robert Moss on 06 February 2024, 17:19:48 UTC
Update MCTS [compat]
Update MCTS [compat]
Tip revision: d31b476
paper.bib
@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}
}