Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2402.05284
Cited By
Analyzing Adversarial Inputs in Deep Reinforcement Learning
7 February 2024
Davide Corsi
Guy Amir
Guy Katz
Alessandro Farinelli
AAML
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Analyzing Adversarial Inputs in Deep Reinforcement Learning"
10 / 10 papers shown
Title
Realizable Continuous-Space Shields for Safe Reinforcement Learning
Kyungmin Kim
Davide Corsi
Andoni Rodríguez
JB Lanier
Benjami Parellada
Pierre Baldi
César Sánchez
Roy Fox
26
1
0
02 Oct 2024
Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
Guy Amir
Shahaf Bassan
Guy Katz
42
2
0
07 Aug 2024
Safe and Reliable Training of Learning-Based Aerospace Controllers
Udayan Mandal
Guy Amir
Haoze Wu
Ieva Daukantas
Fletcher Lee Newell
...
Kerianne Hobbs
Milan Ganai
Tobey Shim
Guy Katz
Clark Barrett
23
2
0
09 Jul 2024
Verification-Guided Shielding for Deep Reinforcement Learning
Davide Corsi
Guy Amir
Andoni Rodríguez
César Sánchez
Guy Katz
Roy Fox
AAML
OffRL
29
9
0
10 Jun 2024
Local vs. Global Interpretability: A Computational Complexity Perspective
Shahaf Bassan
Guy Amir
Guy Katz
35
6
0
05 Jun 2024
Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning
Davide Corsi
Davide Camponogara
Alessandro Farinelli
OffRL
25
1
0
30 May 2024
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
Udayan Mandal
Guy Amir
Haoze Wu
Ieva Daukantas
Fletcher Lee Newell
...
Michael Durling
Milan Ganai
Tobey Shim
Guy Katz
Clark W. Barrett
39
7
0
22 May 2024
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation
Davide Corsi
Luca Marzari
Ameya Pore
Alessandro Farinelli
A. Casals
Paolo Fiorini
Diego DallÁlba
20
8
0
06 Mar 2023
Verifying Learning-Based Robotic Navigation Systems
Guy Amir
Davide Corsi
Raz Yerushalmi
Luca Marzari
D. Harel
Alessandro Farinelli
Guy Katz
82
36
0
26 May 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
222
1,832
0
03 Feb 2017
1