Publications

@Article{Clemens2024,
    author = {Clemens, Torsten and Chiotoroiu, Maria-Magdalena and Corso, Anthony and Zechner, Markus and Kochenderfer, Mykel J.},
    journal = {Energies},
    title = {Artificial intelligence-centric low-enthalpy geothermal field development planning},
    year = {2024},
    month = apr,
    number = {8},
    pages = {1887},
    volume = {17},
    doi = {10.3390/en17081887},
}

@Article{Corso2024,
    author = {Corso, Anthony and Chiotoroiu, Maria and Clemens, Torsten and Zechner, Markus and Kochenderfer, Mykel J.},
    journal = {Geothermics},
    title = {Sequentially optimized data acquisition for a geothermal reservoir},
    year = {2024},
    pages = {102983},
    volume = {120},
    doi = {10.1016/j.geothermics.2024.102983},
}

@InProceedings{Moss2024ijcai,
    author = {Robert J. Moss and Arec Jamgochian and Johannes Fischer and Anthony Corso and Mykel J. Kochenderfer},
    booktitle = ijcai,
    title = {Constrained{Z}ero: {C}hance-constrained {POMDP} planning using learned probabilistic failure surrogates and adaptive safety constraints},
    year = {2024},
    url = {https://arxiv.org/abs/2405.00644},
}

@InProceedings{Jamgochian2024,
    author = {Arec Jamgochian and Hugo Buurmeijer and Kyle Wray and Anthony Corso and Mykel J. Kochenderfer},
    booktitle = icra,
    title = {Constrained hierarchical {M}onte {C}arlo belief-state planning},
    year = {2024},
    url = {https://arxiv.org/abs/2310.20054},
}

@InProceedings{Moss2024rlc,
    author = {Robert J. Moss and Anthony Corso and Jef Caers and Mykel J. Kochenderfer},
    booktitle = {Reinforcement Learning Conference},
    title = {Beta{Z}ero: {B}elief-state planning for long-horizon {POMDP}s using learned approximations},
    year = {2024},
    url = {https://arxiv.org/abs/2306.00249},
}

@unpublished{wang2023optimizing,
    title={Optimizing carbon storage operations for long-term safety},
    author={Wang, Yizheng and Zechner, Markus and Wen, Gege and Anthony Corso and Mern, John M. and Kochenderfer, Mykel J. and Caers, Jef K.},
    journal=arxiv,
    year={2023},
    note={(In Submission)}
}

@unpublished{Corso2023,
    author = {Anthony Corso and David Karamadian and Romeo Valentin and Mary Cooper and Mykel J. Kochenderfer},
    journal = arxiv,
    title = {A holistic assessment of the reliability of machine learning systems},
    year = {2023},
    doi = {10.48550/ARXIV.2307.10586},
    note={(In Submission)}
}

@ARTICLE{2023arXiv230708774X,
    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},
    title = {Reflections from the workshop on {AI}-assisted decision making for conservation},
    journal = arxiv,
    year = 2023,
    url = {https://arxiv.org/pdf/2307.08774},
    entrysubtype={arxiv}
}

@inproceedings{Smyers2023AVOIDDS,
    title={{AVOIDDS}: {A}ircraft vision-based intruder detection dataset and simulator},
    author={Elysia Q. Smyers and Sydney M. Katz and Anthony Corso and Mykel J. Kochenderfer},
    booktitle={Neural Information Processing Systems (NeurIPS) Datasets and Benchmarks Track},
    year={2023},
    url={https://arxiv.org/abs/2306.11203}
}

@InProceedings{Jamgochian2023icaps,
    author = {Arec Jamgochian and Anthony Corso and Mykel J. Kochenderfer},
    booktitle = icaps,
    title = {Online planning for constrained {POMDP}s with continuous spaces through dual ascent},
    year = {2023},
    url = {https://arxiv.org/abs/2212.12154},
}

@inproceedings{delecki2023modelbased,
    title={Model-based validation as probabilistic inference},
    author={Harrison Delecki and Anthony Corso and Mykel J. Kochenderfer},
    booktitle=l4dc,
    year={2023},
    url={https://arxiv.org/abs/2305.09930},
}

@inproceedings{yildiz2023Experience,
    title={Experience Filter: {U}sing past experiences on unseen tasks or environments},
    author={Anil Yildiz and Esen Yel and Anthony Corso and Kyle H. Wray and Stefan J. Witwicki and Mykel J. Kochenderfer},
    booktitle=iv,
    year={2023},
    doi={10.1109/IV55152.2023.10186722},
    url={https://arxiv.org/abs/2305.18633}
}

@InProceedings{Schlichting2023,
    author = {Marc R. Schlichting and Nina V. Boord and Anthony Corso and Mykel J. Kochenderfer},
    booktitle = itsc,
    title = {{SAVME}: {E}fficient safety validation for autonomous systems using meta-learning},
    year = {2023},
}

@InProceedings{Katz2023dasc,
    author = {Sydney M. Katz and Anthony Corso and Esen Yel and Mykel J. Kochenderfer},
    booktitle = dasc,
    title = {Efficient determination of safety requirements for perception systems},
    year = {2023},
    url = {https://arxiv.org/abs/2307.01371},
}

@inproceedings{pinto2023leveraging,
    title={Leveraging compositional methods for modeling and verification of an autonomous taxi system},
    author={Pinto, Alessandro and Anthony Corso and Schmerling, Edward},
    booktitle=icaa,
    year={2023},
    url={https://arxiv.org/abs/2304.13517},
}

@InProceedings{Strong2022Zope,
    author = {Christopher A. Strong and Sydney M. Katz and Anthony Corso and Mykel J. Kochenderfer},
    booktitle = {NASA Formal Methods Symposium (NFM)},
    title = {{ZoPE}: {A} fast optimizer for {ReLU} networks with low-dimensional inputs},
    year = {2022},
    url = {https://arxiv.org/abs/2106.05325},
    doi = {https://doi-org.stanford.idm.oclc.org/10.1007/978-3-031-06773-0_16}
}

@Article{Katz2022Verification,
    author = {Sydney M. Katz and Anthony Corso and Christopher A. Strong and Mykel J. Kochenderfer},
    journal = jais,
    title = {Verification of image-based neural network controllers using generative models},
    year = {2022},
    number = {9},
    pages = {574--584},
    volume = {19},
    author+an = {1=jointfirst;2=jointfirst;3=jointfirst},
    doi={https://doi-org.stanford.idm.oclc.org/10.2514/1.I011071},
    url={https://arxiv.org/abs/2105.07091}
}

@InProceedings{Corso2022risk,
    author = {Anthony Corso and Sydney M. Katz and Craig A. Innes and Xin Du and Subramanian Ramamoorthy and Mykel J. Kochenderfer},
    author+an = {1=jointfirst;2=jointfirst},
    booktitle = neurips,
    title = {Risk-driven design of perception systems},
    year = {2022},
    url = {https://arxiv.org/abs/2205.10677},
}

@inproceedings{corso2022pomdp,
    title={A {POMDP} model for safe geological carbon sequestration},
    author={Anthony Corso and Wang, Yizheng and Zechner, Markus and Caers, Jef and Kochenderfer, Mykel J.},
    booktitle={NeurIPS Workshop on Tackling Climate Change},
    year={2022},
    url={https://arxiv.org/abs/2205.10677}
}

@Article{Corso2022rare,
    author = {Anthony Corso and Kim, Kyu-Young and Gupta, Shubh and Gao, Grace and Kochenderfer, Mykel J.},
    journal = arxiv,
    title = {A deep reinforcement learning approach to rare event estimation},
    year = {2022},
    url = {https://arxiv.org/abs/2211.12470},
    entrysubtype={arxiv}
}

@article{sidrane2022verifying,
    title={Verifying inverse model neural networks},
    author={Sidrane, Chelsea and Katz, Sydney and Anthony Corso and Kochenderfer, Mykel J},
    journal=arxiv,
    year={2022},
    url={https://arxiv.org/abs/2202.02429},
    entrysubtype={arxiv}
}

@Article{Corso2021survey,
    author = {Anthony Corso and Robert J. Moss and Mark Koren and Ritchie Lee and Mykel J. Kochenderfer},
    journal = jair,
    title = {A survey of algorithms for black-box safety validation of cyber-physical systems},
    year = {2021},
    number = {2005.02979},
    pages = {377--428},
    volume = {72},
    doi={https://doi.org/10.1613/jair.1.12716},
    url={https://arxiv.org/abs/2005.02979}
}

@InProceedings{Katz2021dasc,
    author = {Sydney M. Katz and Anthony Corso and Christopher A. Strong and Mykel J. Kochenderfer},
    author+an = {1=jointfirst;2=jointfirst;3=jointfirst},
    booktitle = dasc,
    title = {Verification of image-based neural network controllers using generative models},
    year = {2021},
    doi={10.1109/DASC52595.2021.9594360},
    url={https://arxiv.org/abs/2105.07091}
}

@InProceedings{Corso2021transfer,
    author = {Anthony Corso and Mykel J. Kochenderfer},
    booktitle = aaai,
    title = {Transfer learning for efficient iterative safety validation},
    year = {2021},
    url = {https://ojs.aaai.org/index.php/AAAI/article/view/16876},
}

@thesis{Corso2021Algorithms,
    author = {Anthony Corso},
    title = {Algorithms for black-box safety validation},
    school = {Stanford University},
    year = {2021},
}

@inproceedings{corso2020scalable,
    title={Scalable autonomous vehicle safety validation through dynamic programming and scene decomposition},
    author={Anthony Corso and Lee, Ritchie and Kochenderfer, Mykel J},
    booktitle=itsc,
    year={2020},
    doi = {10.1109/ITSC45102.2020.9294636},
    url = {https://arxiv.org/abs/2004.06801},
}

@inproceedings{corso2020interpretable,
    title={Interpretable safety validation for autonomous vehicles},
    author={Anthony Corso and Kochenderfer, Mykel J},
    booktitle=itsc,
    year={2020},
    doi = {10.1109/ITSC45102.2020.9294490},
    url = {https://arxiv.org/abs/2004.06805},
}

@inproceedings{corso2019adaptive,
    title={Adaptive stress testing with reward augmentation for autonomous vehicle validation},
    author={Anthony Corso and Du, Peter and Driggs-Campbell, Katherine and Kochenderfer, Mykel J.},
    author+an = {1=jointfirst;2=jointfirst},
    booktitle=itsc,
    year={2019},
    doi = {10.1109/ITSC.2019.8917242},
    url = {https://arxiv.org/abs/1908.01046},
}

@InProceedings{Koren2019rss,
    author = {Mark Koren and Anthony Corso and Mykel J. Kochenderfer},
    booktitle = {Workshop on Safe Autonomy, } # rss,
    title = {The adaptive stress testing formulation},
    year = {2019},
    url = {https://arxiv.org/abs/1811.02188},
}

@article{tarantino2018electrostatic,
  title={An electrostatic method to model the expansion of hypervelocity impact plasma on positively biased surfaces},
  author={Tarantino, Paul and Goel, Ashish and Anthony Corso and Lee, Nicholas and Close, Sigrid},
  journal={Physics of Plasmas},
  volume={25},
  number={9},
  pages={092103},
  year={2018},
  publisher={AIP Publishing LLC},
  doi={https://doi.org/10.1063/1.5039656}
}

@inproceedings{marie2014robust,
  title={Robust, real-time, digital focusing for {FD-OCM} using {ISAM} on a {GPU}},
  author={Marie, Luke R St and An, Fangzhao A and Anthony Corso and Grasel, John T and Haskell, Richard C},
  booktitle={Optical Coherence Tomography and Coherence Domain Optical Methods in Biomedicine},
  volume={8934},
  pages={89342W},
  year={2014},
  organization={International Society for Optics and Photonics}
}