Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2109.06795
Cited By
ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via Convex Relaxation
14 September 2021
Chuangchuang Sun
Dong-Ki Kim
Jonathan P. How
AAML
Re-assign community
ArXiv
PDF
HTML
Papers citing
"ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via Convex Relaxation"
1 / 1 papers shown
Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
219
1,818
0
03 Feb 2017
1