var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fancorso.github.io%2Ffiles%2Freferences.bib&nocache=1&commas=true&noBootstrap=1&jsonp=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fancorso.github.io%2Ffiles%2Freferences.bib&nocache=1&commas=true&noBootstrap=1&jsonp=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fancorso.github.io%2Ffiles%2Freferences.bib&nocache=1&commas=true&noBootstrap=1&jsonp=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
    2. \n
  2. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
    3. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2023\n \n \n (14)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Constrained hierarchical Monte Carlo belief-state planning.\n \n \n \n\n\n \n Jamgochian, A., Buurmeijer, H., Wray, K. H., Corso, A., & Kochenderfer, M. J.\n\n\n \n\n\n\n 2023.\n (In Submission)\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@unpublished{Jamgochian2023,\n    author = {Arec Jamgochian and Hugo Buurmeijer and Kyle H. Wray and Anthony Corso and Mykel J. Kochenderfer},\n    title = {Constrained hierarchical {M}onte {C}arlo belief-state planning},\n    note = {(In Submission)},\n    year = {2023}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Conditional deep generative models for belief-state planning.\n \n \n \n\n\n \n Corso, A., Bigeard, A., & Kochenderfer, M. J.\n\n\n \n\n\n\n 2023.\n (In Submission)\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@unpublished{corso2023cdgm,\n    author = {Anthony Corso and Antoine Bigeard and Mykel J. Kochenderfer},\n    title = {Conditional deep generative models for belief-state planning},\n    note = {(In Submission)},\n    year = {2023}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n BetaZero: Belief-state planning for long-horizon POMDPs using learned approximations.\n \n \n \n \n\n\n \n Moss, R. J., Corso, A., Caers, J., & Kochenderfer, M. J.\n\n\n \n\n\n\n 2023.\n (In Submission)\n\n\n\n
\n\n\n\n \n \n \"BetaZero:Paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@unpublished{Moss2023betazero,\n    author = {Moss, Robert J. and Anthony Corso and Caers, Jef and Kochenderfer, Mykel J.},\n    journal = arxiv,\n    title = {Beta{Z}ero: {B}elief-state planning for long-horizon {POMDP}s using learned approximations},\n    year = {2023},\n    url = {https://arxiv.org/abs/2306.00249},\n    note={(In Submission)}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Optimizing carbon storage operations for long-term safety.\n \n \n \n\n\n \n Wang, Y., Zechner, M., Wen, G., Corso, A., Mern, J. M., Kochenderfer, M. J., & Caers, J. K.\n\n\n \n\n\n\n 2023.\n (In Submission)\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@unpublished{wang2023optimizing,\n    title={Optimizing carbon storage operations for long-term safety},\n    author={Wang, Yizheng and Zechner, Markus and Wen, Gege and Anthony Corso and Mern, John M. and Kochenderfer, Mykel J. and Caers, Jef K.},\n    journal=arxiv,\n    year={2023},\n    note={(In Submission)}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A holistic assessment of the reliability of machine learning systems.\n \n \n \n\n\n \n Corso, A., Karamadian, D., Valentin, R., Cooper, M., & Kochenderfer, M. J.\n\n\n \n\n\n\n 2023.\n (In Submission)\n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@unpublished{Corso2023,\n    author = {Anthony Corso and David Karamadian and Romeo Valentin and Mary Cooper and Mykel J. Kochenderfer},\n    journal = arxiv,\n    title = {A holistic assessment of the reliability of machine learning systems},\n    year = {2023},\n    doi = {10.48550/ARXIV.2307.10586},\n    note={(In Submission)}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Optimal information gathering for geothermal assessment.\n \n \n \n\n\n \n Corso, A., Zechner, M., Chiotoroiu, M., Clemens, T., & Kochenderfer, M. J.\n\n\n \n\n\n\n 2023.\n In Preparation\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@unpublished{corso2023optimal,\n    author = {Anthony Corso and Markus Zechner and Maria Chiotoroiu and Torsten Clemens and Mykel J. Kochenderfer},\n    title = {Optimal information gathering for geothermal assessment},\n    note = {In Preparation},\n    year = {2023}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reflections from the workshop on AI-assisted decision making for conservation.\n \n \n \n \n\n\n \n Xu, L., Rolf, E., Beery, S., Bennett, J. R., Berger-Wolf, T., Birch, T., Bondi-Kelly, E., Brashares, J., Chapman, M., Corso, A., Davies, A., Garg, N., Gaylard, A., Heilmayr, R., Kerner, H., Klemmer, K., Kumar, V., Mackey, L., Monteleoni, C., Moorcroft, P., Palmer, J., Perrault, A., Thau, D., & Tambe, M.\n\n\n \n\n\n\n arXiv. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"ReflectionsPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@ARTICLE{2023arXiv230708774X,\n    author = {{Xu}, Lily and {Rolf}, Esther and {Beery}, Sara and {Bennett}, Joseph R. and {Berger-Wolf}, Tanya and {Birch}, Tanya and {Bondi-Kelly}, Elizabeth and {Brashares}, Justin and {Chapman}, Melissa and Anthony Corso and {Davies}, Andrew and {Garg}, Nikhil and {Gaylard}, Angela and {Heilmayr}, Robert and {Kerner}, Hannah and {Klemmer}, Konstantin and {Kumar}, Vipin and {Mackey}, Lester and {Monteleoni}, Claire and {Moorcroft}, Paul and {Palmer}, Jonathan and {Perrault}, Andrew and {Thau}, David and {Tambe}, Milind},\n    title = {Reflections from the workshop on {AI}-assisted decision making for conservation},\n    journal = arxiv,\n    year = 2023,\n    url = {https://arxiv.org/pdf/2307.08774},\n    entrysubtype={arxiv}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n AVOIDDS: Aircraft vision-based intruder detection dataset and simulator.\n \n \n \n \n\n\n \n Smyers, E. Q., Katz, S. M., Corso, A., & Kochenderfer, M. J.\n\n\n \n\n\n\n In Neural Information Processing Systems (NeurIPS) Datasets and Benchmarks Track, 2023. \n \n\n\n\n
\n\n\n\n \n \n \"AVOIDDS:Paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Smyers2023AVOIDDS,\n    title={{AVOIDDS}: {A}ircraft vision-based intruder detection dataset and simulator},\n    author={Elysia Q. Smyers and Sydney M. Katz and Anthony Corso and Mykel J. Kochenderfer},\n    booktitle={Neural Information Processing Systems (NeurIPS) Datasets and Benchmarks Track},\n    year={2023},\n    url={https://arxiv.org/abs/2306.11203}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Online planning for constrained POMDPs with continuous spaces through dual ascent.\n \n \n \n \n\n\n \n Jamgochian, A., Corso, A., & Kochenderfer, M. J.\n\n\n \n\n\n\n In International Conference on Automated Planning and Scheduling (ICAPS), 2023. \n \n\n\n\n
\n\n\n\n \n \n \"OnlinePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Jamgochian2023icaps,\n    author = {Arec Jamgochian and Anthony Corso and Mykel J. Kochenderfer},\n    booktitle = icaps,\n    title = {Online planning for constrained {POMDP}s with continuous spaces through dual ascent},\n    year = {2023},\n    url = {https://arxiv.org/abs/2212.12154},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Model-based validation as probabilistic inference.\n \n \n \n \n\n\n \n Delecki, H., Corso, A., & Kochenderfer, M. J.\n\n\n \n\n\n\n In Learning for Dynamics & Control Conference (L4DC), 2023. \n \n\n\n\n
\n\n\n\n \n \n \"Model-basedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{delecki2023modelbased,\n    title={Model-based validation as probabilistic inference},\n    author={Harrison Delecki and Anthony Corso and Mykel J. Kochenderfer},\n    booktitle=l4dc,\n    year={2023},\n    url={https://arxiv.org/abs/2305.09930},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Experience Filter: Using past experiences on unseen tasks or environments.\n \n \n \n \n\n\n \n Yildiz, A., Yel, E., Corso, A., Wray, K. H., Witwicki, S. J., & Kochenderfer, M. J.\n\n\n \n\n\n\n In IEEE Intelligent Vehicles Symposium (IV), 2023. \n \n\n\n\n
\n\n\n\n \n \n \"ExperiencePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{yildiz2023Experience,\n    title={Experience Filter: {U}sing past experiences on unseen tasks or environments},\n    author={Anil Yildiz and Esen Yel and Anthony Corso and Kyle H. Wray and Stefan J. Witwicki and Mykel J. Kochenderfer},\n    booktitle=iv,\n    year={2023},\n    doi={10.1109/IV55152.2023.10186722},\n    url={https://arxiv.org/abs/2305.18633}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n SAVME: Efficient safety validation for autonomous systems using meta-learning.\n \n \n \n\n\n \n Schlichting, M. R., Boord, N. V., Corso, A., & Kochenderfer, M. J.\n\n\n \n\n\n\n In IEEE International Conference on Intelligent Transportation Systems (ITSC), 2023. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Schlichting2023,\n    author = {Marc R. Schlichting and Nina V. Boord and Anthony Corso and Mykel J. Kochenderfer},\n    booktitle = itsc,\n    title = {{SAVME}: {E}fficient safety validation for autonomous systems using meta-learning},\n    year = {2023},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Efficient determination of safety requirements for perception systems.\n \n \n \n \n\n\n \n Katz, S. M., Corso, A., Yel, E., & Kochenderfer, M. J.\n\n\n \n\n\n\n In Digital Avionics Systems Conference (DASC), 2023. \n \n\n\n\n
\n\n\n\n \n \n \"EfficientPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Katz2023dasc,\n    author = {Sydney M. Katz and Anthony Corso and Esen Yel and Mykel J. Kochenderfer},\n    booktitle = dasc,\n    title = {Efficient determination of safety requirements for perception systems},\n    year = {2023},\n    url = {https://arxiv.org/abs/2307.01371},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Leveraging compositional methods for modeling and verification of an autonomous taxi system.\n \n \n \n \n\n\n \n Pinto, A., Corso, A., & Schmerling, E.\n\n\n \n\n\n\n In International Conference on Assured Autonomy (ICAA), 2023. \n \n\n\n\n
\n\n\n\n \n \n \"LeveragingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{pinto2023leveraging,\n    title={Leveraging compositional methods for modeling and verification of an autonomous taxi system},\n    author={Pinto, Alessandro and Anthony Corso and Schmerling, Edward},\n    booktitle=icaa,\n    year={2023},\n    url={https://arxiv.org/abs/2304.13517},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n ZoPE: A fast optimizer for ReLU networks with low-dimensional inputs.\n \n \n \n \n\n\n \n Strong, C. A., Katz, S. M., Corso, A., & Kochenderfer, M. J.\n\n\n \n\n\n\n In NASA Formal Methods Symposium (NFM), 2022. \n \n\n\n\n
\n\n\n\n \n \n \"ZoPE:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Strong2022Zope,\n    author = {Christopher A. Strong and Sydney M. Katz and Anthony Corso and Mykel J. Kochenderfer},\n    booktitle = {NASA Formal Methods Symposium (NFM)},\n    title = {{ZoPE}: {A} fast optimizer for {ReLU} networks with low-dimensional inputs},\n    year = {2022},\n    url = {https://arxiv.org/abs/2106.05325},\n    doi = {https://doi-org.stanford.idm.oclc.org/10.1007/978-3-031-06773-0_16}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Verification of image-based neural network controllers using generative models.\n \n \n \n \n\n\n \n Katz, S. M., Corso, A., Strong, C. A., & Kochenderfer, M. J.\n\n\n \n\n\n\n Journal of Aerospace Information Systems, 19(9): 574–584. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"VerificationPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@Article{Katz2022Verification,\n    author = {Sydney M. Katz and Anthony Corso and Christopher A. Strong and Mykel J. Kochenderfer},\n    journal = jais,\n    title = {Verification of image-based neural network controllers using generative models},\n    year = {2022},\n    number = {9},\n    pages = {574--584},\n    volume = {19},\n    author+an = {1=jointfirst;2=jointfirst;3=jointfirst},\n    doi={https://doi-org.stanford.idm.oclc.org/10.2514/1.I011071},\n    url={https://arxiv.org/abs/2105.07091}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Risk-driven design of perception systems.\n \n \n \n \n\n\n \n Corso, A., Katz, S. M., Innes, C. A., Du, X., Ramamoorthy, S., & Kochenderfer, M. J.\n\n\n \n\n\n\n In Advances in Neural Information Processing Systems (NeurIPS), 2022. \n \n\n\n\n
\n\n\n\n \n \n \"Risk-drivenPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Corso2022risk,\n    author = {Anthony Corso and Sydney M. Katz and Craig A. Innes and Xin Du and Subramanian Ramamoorthy and Mykel J. Kochenderfer},\n    author+an = {1=jointfirst;2=jointfirst},\n    booktitle = neurips,\n    title = {Risk-driven design of perception systems},\n    year = {2022},\n    url = {https://arxiv.org/abs/2205.10677},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A POMDP model for safe geological carbon sequestration.\n \n \n \n \n\n\n \n Corso, A., Wang, Y., Zechner, M., Caers, J., & Kochenderfer, M. J.\n\n\n \n\n\n\n In NeurIPS Workshop on Tackling Climate Change, 2022. \n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{corso2022pomdp,\n    title={A {POMDP} model for safe geological carbon sequestration},\n    author={Anthony Corso and Wang, Yizheng and Zechner, Markus and Caers, Jef and Kochenderfer, Mykel J.},\n    booktitle={NeurIPS Workshop on Tackling Climate Change},\n    year={2022},\n    url={https://arxiv.org/abs/2205.10677}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A deep reinforcement learning approach to rare event estimation.\n \n \n \n \n\n\n \n Corso, A., Kim, K., Gupta, S., Gao, G., & Kochenderfer, M. J.\n\n\n \n\n\n\n arXiv. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@Article{Corso2022rare,\n    author = {Anthony Corso and Kim, Kyu-Young and Gupta, Shubh and Gao, Grace and Kochenderfer, Mykel J.},\n    journal = arxiv,\n    title = {A deep reinforcement learning approach to rare event estimation},\n    year = {2022},\n    url = {https://arxiv.org/abs/2211.12470},\n    entrysubtype={arxiv}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Verifying inverse model neural networks.\n \n \n \n \n\n\n \n Sidrane, C., Katz, S., Corso, A., & Kochenderfer, M. J\n\n\n \n\n\n\n arXiv. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"VerifyingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{sidrane2022verifying,\n    title={Verifying inverse model neural networks},\n    author={Sidrane, Chelsea and Katz, Sydney and Anthony Corso and Kochenderfer, Mykel J},\n    journal=arxiv,\n    year={2022},\n    url={https://arxiv.org/abs/2202.02429},\n    entrysubtype={arxiv}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A survey of algorithms for black-box safety validation of cyber-physical systems.\n \n \n \n \n\n\n \n Corso, A., Moss, R. J., Koren, M., Lee, R., & Kochenderfer, M. J.\n\n\n \n\n\n\n Journal of Artificial Intelligence Research, 72(2005.02979): 377–428. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@Article{Corso2021survey,\n    author = {Anthony Corso and Robert J. Moss and Mark Koren and Ritchie Lee and Mykel J. Kochenderfer},\n    journal = jair,\n    title = {A survey of algorithms for black-box safety validation of cyber-physical systems},\n    year = {2021},\n    number = {2005.02979},\n    pages = {377--428},\n    volume = {72},\n    doi={https://doi.org/10.1613/jair.1.12716},\n    url={https://arxiv.org/abs/2005.02979}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Verification of image-based neural network controllers using generative models.\n \n \n \n \n\n\n \n Katz, S. M., Corso, A., Strong, C. A., & Kochenderfer, M. J.\n\n\n \n\n\n\n In Digital Avionics Systems Conference (DASC), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"VerificationPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Katz2021dasc,\n    author = {Sydney M. Katz and Anthony Corso and Christopher A. Strong and Mykel J. Kochenderfer},\n    author+an = {1=jointfirst;2=jointfirst;3=jointfirst},\n    booktitle = dasc,\n    title = {Verification of image-based neural network controllers using generative models},\n    year = {2021},\n    doi={10.1109/DASC52595.2021.9594360},\n    url={https://arxiv.org/abs/2105.07091}\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Transfer learning for efficient iterative safety validation.\n \n \n \n \n\n\n \n Corso, A., & Kochenderfer, M. J.\n\n\n \n\n\n\n In AAAI Conference on Artificial Intelligence (AAAI), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"TransferPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Corso2021transfer,\n    author = {Anthony Corso and Mykel J. Kochenderfer},\n    booktitle = aaai,\n    title = {Transfer learning for efficient iterative safety validation},\n    year = {2021},\n    url = {https://ojs.aaai.org/index.php/AAAI/article/view/16876},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Algorithms for black-box safety validation.\n \n \n \n\n\n \n Corso, A.\n\n\n \n\n\n\n thesis, Stanford University, 2021.\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@thesis{Corso2021Algorithms,\n    author = {Anthony Corso},\n    title = {Algorithms for black-box safety validation},\n    school = {Stanford University},\n    year = {2021},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Scalable autonomous vehicle safety validation through dynamic programming and scene decomposition.\n \n \n \n \n\n\n \n Corso, A., Lee, R., & Kochenderfer, M. J\n\n\n \n\n\n\n In IEEE International Conference on Intelligent Transportation Systems (ITSC), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"ScalablePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{corso2020scalable,\n    title={Scalable autonomous vehicle safety validation through dynamic programming and scene decomposition},\n    author={Anthony Corso and Lee, Ritchie and Kochenderfer, Mykel J},\n    booktitle=itsc,\n    year={2020},\n    doi = {10.1109/ITSC45102.2020.9294636},\n    url = {https://arxiv.org/abs/2004.06801},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Interpretable safety validation for autonomous vehicles.\n \n \n \n \n\n\n \n Corso, A., & Kochenderfer, M. J\n\n\n \n\n\n\n In IEEE International Conference on Intelligent Transportation Systems (ITSC), 2020. \n \n\n\n\n
\n\n\n\n \n \n \"InterpretablePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{corso2020interpretable,\n    title={Interpretable safety validation for autonomous vehicles},\n    author={Anthony Corso and Kochenderfer, Mykel J},\n    booktitle=itsc,\n    year={2020},\n    doi = {10.1109/ITSC45102.2020.9294490},\n    url = {https://arxiv.org/abs/2004.06805},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Adaptive stress testing with reward augmentation for autonomous vehicle validation.\n \n \n \n \n\n\n \n Corso, A., Du, P., Driggs-Campbell, K., & Kochenderfer, M. J.\n\n\n \n\n\n\n In IEEE International Conference on Intelligent Transportation Systems (ITSC), 2019. \n \n\n\n\n
\n\n\n\n \n \n \"AdaptivePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 8 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{corso2019adaptive,\n    title={Adaptive stress testing with reward augmentation for autonomous vehicle validation},\n    author={Anthony Corso and Du, Peter and Driggs-Campbell, Katherine and Kochenderfer, Mykel J.},\n    author+an = {1=jointfirst;2=jointfirst},\n    booktitle=itsc,\n    year={2019},\n    doi = {10.1109/ITSC.2019.8917242},\n    url = {https://arxiv.org/abs/1908.01046},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The adaptive stress testing formulation.\n \n \n \n \n\n\n \n Koren, M., Corso, A., & Kochenderfer, M. J.\n\n\n \n\n\n\n In Workshop on Safe Autonomy, Robotics: Science and Systems, 2019. \n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Koren2019rss,\n    author = {Mark Koren and Anthony Corso and Mykel J. Kochenderfer},\n    booktitle = {Workshop on Safe Autonomy, } # rss,\n    title = {The adaptive stress testing formulation},\n    year = {2019},\n    url = {https://arxiv.org/abs/1811.02188},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n An electrostatic method to model the expansion of hypervelocity impact plasma on positively biased surfaces.\n \n \n \n\n\n \n Tarantino, P., Goel, A., Corso, A., Lee, N., & Close, S.\n\n\n \n\n\n\n Physics of Plasmas, 25(9): 092103. 2018.\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{tarantino2018electrostatic,\n  title={An electrostatic method to model the expansion of hypervelocity impact plasma on positively biased surfaces},\n  author={Tarantino, Paul and Goel, Ashish and Anthony Corso and Lee, Nicholas and Close, Sigrid},\n  journal={Physics of Plasmas},\n  volume={25},\n  number={9},\n  pages={092103},\n  year={2018},\n  publisher={AIP Publishing LLC},\n  doi={https://doi.org/10.1063/1.5039656}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Robust, real-time, digital focusing for FD-OCM using ISAM on a GPU.\n \n \n \n\n\n \n Marie, L. R S., An, F. A, Corso, A., Grasel, J. T, & Haskell, R. C\n\n\n \n\n\n\n In Optical Coherence Tomography and Coherence Domain Optical Methods in Biomedicine, volume 8934, pages 89342W, 2014. International Society for Optics and Photonics\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{marie2014robust,\n  title={Robust, real-time, digital focusing for {FD-OCM} using {ISAM} on a {GPU}},\n  author={Marie, Luke R St and An, Fangzhao A and Anthony Corso and Grasel, John T and Haskell, Richard C},\n  booktitle={Optical Coherence Tomography and Coherence Domain Optical Methods in Biomedicine},\n  volume={8934},\n  pages={89342W},\n  year={2014},\n  organization={International Society for Optics and Photonics}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);