Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2206.09603
Cited By
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming
20 June 2022
Davide Corsi
Raz Yerushalmi
Guy Amir
Alessandro Farinelli
D. Harel
Guy Katz
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Constrained Reinforcement Learning for Robotics via Scenario-Based Programming"
15 / 15 papers shown
Title
Shield Synthesis for LTL Modulo Theories
Andoni Rodríguez
Guy Amir
Davide Corsi
César Sánchez
Guy Katz
74
6
0
17 Feb 2025
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
40
2
0
07 Aug 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
26
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
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
34
7
0
22 May 2024
Analyzing Adversarial Inputs in Deep Reinforcement Learning
Davide Corsi
Guy Amir
Guy Katz
Alessandro Farinelli
AAML
23
7
0
07 Feb 2024
Formally Explaining Neural Networks within Reactive Systems
Shahaf Bassan
Guy Amir
Davide Corsi
Idan Refaeli
Guy Katz
AAML
17
15
0
31 Jul 2023
Verifying Generalization in Deep Learning
Guy Amir
Osher Maayan
Tom Zelazny
Guy Katz
Michael Schapira
AAML
AI4CE
11
14
0
11 Feb 2023
Enhancing Deep Learning with Scenario-Based Override Rules: a Case Study
Adiel Ashrov
Guy Katz
AI4CE
15
2
0
19 Jan 2023
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System
Guy Amir
Ziv Freund
Guy Katz
Elad Mandelbaum
Idan Refaeli
23
13
0
06 Dec 2022
Verifying Learning-Based Robotic Navigation Systems
Guy Amir
Davide Corsi
Raz Yerushalmi
Luca Marzari
D. Harel
Alessandro Farinelli
Guy Katz
79
36
0
26 May 2022
Verification-Aided Deep Ensemble Selection
Guy Amir
Tom Zelazny
Guy Katz
Michael Schapira
AAML
14
18
0
08 Feb 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
Safety Verification of Deep Neural Networks
Xiaowei Huang
M. Kwiatkowska
Sen Wang
Min Wu
AAML
178
929
0
21 Oct 2016
1