ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2109.06795
  4. Cited By
ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via
  Convex Relaxation

ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via Convex Relaxation

14 September 2021
Chuangchuang Sun
Dong-Ki Kim
Jonathan P. How
    AAML
ArXivPDFHTML

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
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