Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ftopt/LiuALSBK21,
  author       = {Changliu Liu and
                  Tomer Arnon and
                  Christopher Lazarus and
                  Christopher A. Strong and
                  Clark W. Barrett and
                  Mykel J. Kochenderfer},
  title        = {Algorithms for Verifying Deep Neural Networks},
  journal      = {Found. Trends Optim.},
  volume       = {4},
  number       = {3-4},
  pages        = {244--404},
  year         = {2021},
  url          = {https://doi.org/10.1561/2400000035},
  doi          = {10.1561/2400000035},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ftopt/LiuALSBK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ftopt/ChenP20,
  author       = {Ruidi Chen and
                  Ioannis Ch. Paschalidis},
  title        = {Distributionally Robust Learning},
  journal      = {Found. Trends Optim.},
  volume       = {4},
  number       = {1-2},
  pages        = {1--243},
  year         = {2020},
  url          = {https://doi.org/10.1561/2400000026},
  doi          = {10.1561/2400000026},
  timestamp    = {Tue, 26 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ftopt/ChenP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}