Deep reinforcement learning verification: a survey

M Landers, A Doryab - ACM Computing Surveys, 2023 - dl.acm.org
Deep reinforcement learning (DRL) has proven capable of superhuman performance on
many complex tasks. To achieve this success, DRL algorithms train a decision-making agent …

Safe reinforcement learning using formal verification for tissue retraction in autonomous robotic-assisted surgery

A Pore, D Corsi, E Marchesini… - 2021 IEEE/RSJ …, 2021 - ieeexplore.ieee.org
Deep Reinforcement Learning (DRL) is a viable solution for automating repetitive surgical
subtasks due to its ability to learn complex behaviours in a dynamic environment. This task …

Verifying learning-based robotic navigation systems

G Amir, D Corsi, R Yerushalmi, L Marzari… - … Conference on Tools …, 2023 - Springer
Deep reinforcement learning (DRL) has become a dominant deep-learning paradigm for
tasks where complex policies are learned within reactive systems. Unfortunately, these …

Probabilistic constraint for safety-critical reinforcement learning

W Chen, D Subramanian… - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
In this paper, we consider the problem of learning safe policies for probabilistic-constrained
reinforcement learning (RL). Specifically, a safe policy or controller is one that, with high …

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 …

[PDF][PDF] Formally Explaining Neural Networks within Reactive Systems

S Bassan, G Amir, D Corsi, I Refaeli… - 2023 Formal Methods in …, 2023 - library.oapen.org
Deep neural networks (DNNs) are increasingly being used as controllers in reactive
systems. However, DNNs are highly opaque, which renders it difficult to explain and justify …

Constrained reinforcement learning for robotics via scenario-based programming

D Corsi, R Yerushalmi, G Amir, A Farinelli… - arXiv preprint arXiv …, 2022 - arxiv.org
Deep reinforcement learning (DRL) has achieved groundbreaking successes in a wide
variety of robotic applications. A natural consequence is the adoption of this paradigm for …

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 …

Benchmarking safe deep reinforcement learning in aquatic navigation

E Marchesini, D Corsi, A Farinelli - 2021 IEEE/RSJ International …, 2021 - ieeexplore.ieee.org
We propose a novel benchmark environment for Safe Reinforcement Learning focusing on
aquatic navigation. Aquatic navigation is an extremely challenging task due to the non …

The# dnn-verification problem: Counting unsafe inputs for deep neural networks

L Marzari, D Corsi, F Cicalese, A Farinelli - arXiv preprint arXiv …, 2023 - arxiv.org
Deep Neural Networks are increasingly adopted in critical tasks that require a high level of
safety, eg, autonomous driving. While state-of-the-art verifiers can be employed to check …