Imagen de Portada

Verification-Guided Shielding for Deep Reinforcement Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Corsi, Davide, Amir, Guy, Rodriguez, Andoni, Sanchez, Cesar, Katz, Guy, Fox, Roy
Formato:	Preprint
Publicado:	2024
Materias:	Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Analyzing Adversarial Inputs in Deep Reinforcement Learning
por: Corsi, Davide, et al.
Publicado: (2024)

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

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

Efficient Dynamic Shielding for Parametric Safety Specifications
por: Corsi, Davide, et al.
Publicado: (2025)

Explanations for Unrealizability of Infinite-State Safety Shields
por: Rodriguez, Andoni, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification
por: Swisa, Maya, et al.
Publicado: (2025)

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

Proof Minimization in Neural Network Verification
por: Isac, Omri, et al.
Publicado: (2025)

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

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

Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
por: Pinto, Ido, et al.
Publicado: (2026)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
por: Elboher, Yizhak Y., et al.
Publicado: (2026)

Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking
por: Reed, Robert, et al.
Publicado: (2024)

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

Representation-Driven Reinforcement Learning
por: Nabati, Ofir, et al.
Publicado: (2023)

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

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

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

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
por: Elboher, Yizhak Yisrael, et al.
Publicado: (2025)

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

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

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

Effective Reward Specification in Deep Reinforcement Learning
por: Roy, Julien
Publicado: (2024)

Robust Learning with Optimal Error
por: Blanc, Guy
Publicado: (2026)

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

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

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

Random Forest Autoencoders for Guided Representation Learning
por: Aumon, Adrien, et al.
Publicado: (2025)

Reinforcement Learning from Delayed Observations via World Models
por: Karamzade, Armin, et al.
Publicado: (2024)

Probabilistic Shielding for Safe Reinforcement Learning
por: Court, Edwin Hamel-De le, et al.
Publicado: (2025)