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. 2206.09603
  4. Cited By
Constrained Reinforcement Learning for Robotics via Scenario-Based
  Programming

Constrained Reinforcement Learning for Robotics via Scenario-Based Programming

20 June 2022
Davide Corsi
Raz Yerushalmi
Guy Amir
Alessandro Farinelli
D. Harel
Guy Katz
ArXivPDFHTML

Papers citing "Constrained Reinforcement Learning for Robotics via Scenario-Based Programming"

15 / 15 papers shown
Title
Shield Synthesis for LTL Modulo Theories
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Safety Verification of Deep Neural Networks
Xiaowei Huang
M. Kwiatkowska
Sen Wang
Min Wu
AAML
178
929
0
21 Oct 2016
1