Cover Image

Analyzing Adversarial Inputs in Deep Reinforcement Learning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Corsi, Davide, Amir, Guy, Katz, Guy, Farinelli, Alessandro
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verification-Guided Shielding for Deep Reinforcement Learning
by: Corsi, Davide, et al.
Published: (2024)

Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning
by: Corsi, Davide, et al.
Published: (2024)

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

On Improving Deep Active Learning with Formal Verification
by: Spiegelman, Jonathan, et al.
Published: (2025)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
by: Amir, Guy, et al.
Published: (2024)

Local vs. Global Interpretability: A Computational Complexity Perspective
by: Bassan, Shahaf, et al.
Published: (2024)

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
by: Amir, Guy, et al.
Published: (2024)

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
by: Marzari, Luca, et al.
Published: (2023)

What makes an Ensemble (Un) Interpretable?
by: Bassan, Shahaf, et al.
Published: (2025)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
by: Mandal, Udayan, et al.
Published: (2024)

Knowledge Transfer in Deep Reinforcement Learning via an RL-Specific GAN-Based Correspondence Function
by: Ruman, Marko, et al.
Published: (2022)

DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace
by: Katz, Guy, et al.
Published: (2024)

Statistical Runtime Verification for LLMs via Robustness Estimation
by: Levy, Natan, et al.
Published: (2025)

Exploration in Knowledge Transfer Utilizing Reinforcement Learning
by: Jedlička, Adam, et al.
Published: (2024)

Representation-Driven Reinforcement Learning
by: Nabati, Ofir, et al.
Published: (2023)

Benchmarks for Reinforcement Learning with Biased Offline Data and Imperfect Simulators
by: Linial, Ori, et al.
Published: (2024)

Additive Models Explained: A Computational Complexity Approach
by: Bassan, Shahaf, et al.
Published: (2025)

Model-Based Reinforcement Learning under Random Observation Delays
by: Karamzade, Armin, et al.
Published: (2025)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
by: Hadad, Itamar, et al.
Published: (2026)

Seldonian Reinforcement Learning for Ad Hoc Teamwork
by: Zorzi, Edoardo, et al.
Published: (2025)

Collapsed Inference for Bayesian Deep Learning
by: Zeng, Zhe, et al.
Published: (2023)

Contextual Pre-planning on Reward Machine Abstractions for Enhanced Transfer in Deep Reinforcement Learning
by: Azran, Guy, et al.
Published: (2023)

Optimizing Metachronal Paddling with Reinforcement Learning at Low Reynolds Number
by: Bailey, Alana A., et al.
Published: (2025)

Robust Learning with Optimal Error
by: Blanc, Guy
Published: (2026)

Realizable Continuous-Space Shields for Safe Reinforcement Learning
by: Kim, Kyungmin, et al.
Published: (2024)

Transferability Ranking of Adversarial Examples
by: Levy, Mosh, et al.
Published: (2022)

A Survey Analyzing Generalization in Deep Reinforcement Learning
by: Korkmaz, Ezgi
Published: (2024)

Beyond the Surface: Uncovering Implicit Locations with LLMs for Personalized Local News
by: Katz, Gali, et al.
Published: (2025)

PICID: Proof-Driven Clause Learning in Neural Network Verification
by: Isac, Omri, et al.
Published: (2025)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
by: Wu, Haoze, et al.
Published: (2024)

On the Rate of Convergence of GD in Non-linear Neural Networks: An Adversarial Robustness Perspective
by: Smorodinsky, Guy, et al.
Published: (2026)

Unifying Formal Explanations: A Complexity-Theoretic Perspective
by: Bassan, Shahaf, et al.
Published: (2026)

Learning-Based Testing for Deep Learning: Enhancing Model Robustness with Adversarial Input Prioritization
by: Rahman, Sheikh Md Mushfiqur, et al.
Published: (2025)

Sentinel: Multi-Patch Transformer with Temporal and Channel Attention for Time Series Forecasting
by: Villaboni, Davide, et al.
Published: (2025)

SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism
by: Marzouk, Reda, et al.
Published: (2025)

Deep Reinforcement Learning for Online Optimal Execution Strategies
by: Micheli, Alessandro, et al.
Published: (2024)

Adversarial Tokenization
by: Geh, Renato Lui, et al.
Published: (2025)

Dyadic Reinforcement Learning
by: Li, Shuangning, et al.
Published: (2023)

Towards a Certified Proof Checker for Deep Neural Network Verification
by: Desmartin, Remi, et al.
Published: (2023)

FAME: Formal Abstract Minimal Explanation for Neural Networks
by: Boumazouza, Ryma, et al.
Published: (2026)