Motion planning for autonomous driving: The state of the art and future perspectives

S Teng, X Hu, P Deng, B Li, Y Li, Y Ai… - IEEE Transactions …, 2023 - ieeexplore.ieee.org
Intelligent vehicles (IVs) have gained worldwide attention due to their increased
convenience, safety advantages, and potential commercial value. Despite predictions of …

Reinforcement learning applications in environmental sustainability: a review

M Zuccotto, A Castellini, DL Torre, L Mola… - Artificial Intelligence …, 2024 - Springer
Environmental sustainability is a worldwide key challenge attracting increasing attention due
to climate change, pollution, and biodiversity decline. Reinforcement learning, initially …

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 …

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 …

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 …

Safe deep reinforcement learning by verifying task-level properties

E Marchesini, L Marzari, A Farinelli, C Amato - arXiv preprint arXiv …, 2023 - arxiv.org
Cost functions are commonly employed in Safe Deep Reinforcement Learning (DRL).
However, the cost is typically encoded as an indicator function due to the difficulty of …

Automatic parameter optimization using genetic algorithm in deep reinforcement learning for robotic manipulation tasks

A Sehgal, N Ward, H La, S Louis - arXiv preprint arXiv:2204.03656, 2022 - arxiv.org
Learning agents can make use of Reinforcement Learning (RL) to decide their actions by
using a reward function. However, the learning process is greatly influenced by the elect of …

Online safety property collection and refinement for safe deep reinforcement learning in mapless navigation

L Marzari, E Marchesini… - 2023 IEEE International …, 2023 - ieeexplore.ieee.org
Safety is essential for deploying Deep Reinforcement Learning (DRL) algorithms in real-
world scenarios. Recently, verification approaches have been proposed to allow quantifying …

Improving deep policy gradients with value function search

E Marchesini, C Amato - arXiv preprint arXiv:2302.10145, 2023 - arxiv.org
Deep Policy Gradient (PG) algorithms employ value networks to drive the learning of
parameterized policies and reduce the variance of the gradient estimates. However, value …