BibTeX record conf/l4dc/CuiBPMKF23

• > Home > conf/l4dc/CuiBPMKF23

@inproceedings{DBLP:conf/l4dc/CuiBPMKF23,
  author       = {Tianqi Cui and
                  Thomas Bertalan and
                  George J. Pappas and
                  Manfred Morari and
                  Yannis G. Kevrekidis and
                  Mahyar Fazlyab},
  editor       = {Nikolai Matni and
                  Manfred Morari and
                  George J. Pappas},
  title        = {Certified Invertibility in Neural Networks via Mixed-Integer Programming},
  booktitle    = {Learning for Dynamics and Control Conference, {L4DC} 2023, 15-16 June
                  2023, Philadelphia, PA, {USA}},
  series       = {Proceedings of Machine Learning Research},
  volume       = {211},
  pages        = {483--496},
  publisher    = {{PMLR}},
  year         = {2023},
  url          = {https://proceedings.mlr.press/v211/cui23b.html},
  timestamp    = {Fri, 16 Jun 2023 16:35:32 +0200},
  biburl       = {https://dblp.org/rec/conf/l4dc/CuiBPMKF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}