Advancements in deep reinforcement learning and inverse reinforcement learning for robotic manipulation: Towards trustworthy, interpretable, and explainable …

R Ozalp, A Ucar, C Guzelis - IEEE Access, 2024 - ieeexplore.ieee.org
This article presents a literature review of the past five years of studies using Deep
Reinforcement Learning (DRL) and Inverse Reinforcement Learning (IRL) in robotic …

Categorizing methods for integrating machine learning with executable specifications

D Harel, R Yerushalmi, A Marron, A Elyasaf - Science China Information …, 2024 - Springer
Deep learning (DL), which includes deep reinforcement learning (DRL), holds great promise
for carrying out real-world tasks that human minds seem to cope with quite readily. That …

Verifying generalization in deep learning

G Amir, O Maayan, T Zelazny, G Katz… - … Conference on Computer …, 2023 - Springer
Deep neural networks (DNNs) are the workhorses of deep learning, which constitutes the
state of the art in numerous application domains. However, DNN-based decision rules are …

Verification-Guided Shielding for Deep Reinforcement Learning

D Corsi, G Amir, A Rodríguez, C Sánchez… - arxiv preprint arxiv …, 2024 - arxiv.org
In recent years, Deep Reinforcement Learning (DRL) has emerged as an effective approach
to solving real-world tasks. However, despite their successes, DRL-based policies suffer …

Analyzing adversarial inputs in deep reinforcement learning

D Corsi, G Amir, G Katz, A Farinelli - arxiv preprint arxiv:2402.05284, 2024 - arxiv.org
In recent years, Deep Reinforcement Learning (DRL) has become a popular paradigm in
machine learning due to its successful applications to real-world and complex systems …

[PDF][PDF] Formally verifying deep reinforcement learning controllers with lyapunov barrier certificates

U Mandal, G Amir, H Wu, I Daukantas… - # …, 2024 - library.oapen.org
Deep reinforcement learning (DRL) is a powerful machine learning paradigm for generating
agents that control autonomous systems. However, the “black box” nature of DRL agents …

Shield Synthesis for LTL Modulo Theories

A Rodriguez, G Amir, D Corsi, C Sanchez… - arxiv preprint arxiv …, 2024 - arxiv.org
In recent years, Machine Learning (ML) models have achieved remarkable success in
various domains. However, these models also tend to demonstrate unsafe behaviors …

Local vs. Global Interpretability: A Computational Complexity Perspective

S Bassan, G Amir, G Katz - arxiv preprint arxiv:2406.02981, 2024 - arxiv.org
The local and global interpretability of various ML models has been studied extensively in
recent years. However, despite significant progress in the field, many known results remain …

veriFIRE: verifying an industrial, learning-based wildfire detection system

G Amir, Z Freund, G Katz, E Mandelbaum… - … Symposium on Formal …, 2023 - Springer
In this short paper, we present our ongoing work on the veriFIRE project—a collaboration
between industry and academia, aimed at using verification for increasing the reliability of a …

[PDF][PDF] Verification-aided deep ensemble selection

G Amir, T Zelazny, G Katz… - # …, 2022 - library.oapen.org
Deep neural networks (DNNs) have become the technology of choice for realizing a variety
of complex tasks. However, as highlighted by many recent studies, even an imperceptible …