Sumanth Dathathri
发表
Richard M. Murray,
Sumanth Dathathri,
R. Murray,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Bernd Finkbeiner,
Maria Laura Delle Monache,
Philip Koopman,
2017,
SCAV@CPSWeek.
Richard M. Murray,
Sumanth Dathathri,
Yuxiao Chen,
2019,
CoRL.
Sicun Gao,
Nikos Arechiga,
Sumanth Dathathri,
2016
.
Etsuko Ishii,
Pascale Fung,
Sumanth Dathathri,
2020,
FINDINGS.
Richard M. Murray,
Sicun Gao,
Sumanth Dathathri,
2019,
AAAI.
Sicun Gao,
Sumanth Dathathri,
Shashank Vernekar,
2017,
SCAV@CPSWeek.
Sumanth Dathathri,
2020
.
Richard M. Murray,
Sicun Gao,
Sumanth Dathathri,
2017
.
Martin A. Riedmiller,
Sumanth Dathathri,
Timothy A. Mann,
2020,
ArXiv.
Richard M. Murray,
Necmiye Ozay,
Sumanth Dathathri,
2016,
2016 IEEE Conference on Control Applications (CCA).
Richard M. Murray,
Sicun Gao,
Sumanth Dathathri,
2017,
IJCAI.
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
pdf
Ian Goodfellow,
Pushmeet Kohli,
Sumanth Dathathri,
2020,
NeurIPS.
Jason Yosinski,
Sumanth Dathathri,
Janice Lan,
2020,
ICLR.
Ramana Kumar,
Po-Sen Huang,
Pushmeet Kohli,
2019
.
Richard M. Murray,
Leonard J. Reder,
Sumanth Dathathri,
2016,
2016 IEEE Aerospace Conference.
Richard M. Murray,
Yisong Yue,
Sumanth Dathathri,
2018,
ArXiv.
Richard M. Murray,
Sumanth Dathathri,
Scott C. Livingston,
2017,
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).
Richard M. Murray,
Sumanth Dathathri,
Ioannis Filippidis,
2017,
ISRR.
Sumanth Dathathri,
Sven Gowal,
Krishnamurthy Dvijotham,
2021,
NeurIPS.
Po-Sen Huang,
Pushmeet Kohli,
Sumanth Dathathri,
2021,
EMNLP.
Po-Sen Huang,
Erich Elsen,
Arthur Mensch,
2021,
ArXiv.
Sumanth Dathathri,
Sven Gowal,
Krishnamurthy Dvijotham,
2021,
ArXiv.