Generating Adversarial Disturbances for Controller Verification

Udaya Ghai, David Snyder, Anirudha Majumdar, Elad Hazan. Generating Adversarial Disturbances for Controller Verification. In Ali Jadbabaie, John Lygeros, George J. Pappas, Pablo A. Parrilo, Benjamin Recht, Claire J. Tomlin, Melanie N. Zeilinger, editors, Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, L4DC 2021, 7-8 June 2021, Virtual Event, Switzerland. Volume 144 of Proceedings of Machine Learning Research, pages 1192-1204, PMLR, 2021. [doi]

@inproceedings{GhaiSMH21,
  title = {Generating Adversarial Disturbances for Controller Verification},
  author = {Udaya Ghai and David Snyder and Anirudha Majumdar and Elad Hazan},
  year = {2021},
  url = {http://proceedings.mlr.press/v144/ghai21a.html},
  researchr = {https://researchr.org/publication/GhaiSMH21},
  cites = {0},
  citedby = {0},
  pages = {1192-1204},
  booktitle = {Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, L4DC 2021, 7-8 June 2021, Virtual Event, Switzerland},
  editor = {Ali Jadbabaie and John Lygeros and George J. Pappas and Pablo A. Parrilo and Benjamin Recht and Claire J. Tomlin and Melanie N. Zeilinger},
  volume = {144},
  series = {Proceedings of Machine Learning Research},
  publisher = {PMLR},
}