Evolutionary reinforcement learning: A survey

H Bai, R Cheng, Y Jin - Intelligent Computing, 2023 - spj.science.org
Reinforcement learning (RL) is a machine learning approach that trains agents to maximize
cumulative rewards through interactions with environments. The integration of RL with deep …

Deep reinforcement learning for smart grid operations: algorithms, applications, and prospects

Y Li, C Yu, M Shahidehpour, T Yang… - Proceedings of the …, 2023 - ieeexplore.ieee.org
With the increasing penetration of renewable energy and flexible loads in smart grids, a
more complicated power system with high uncertainty is gradually formed, which brings …

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 …

Direct behavior specification via constrained reinforcement learning

J Roy, R Girgis, J Romoff, PL Bacon, C Pal - arXiv preprint arXiv …, 2021 - arxiv.org
The standard formulation of Reinforcement Learning lacks a practical way of specifying what
are admissible and forbidden behaviors. Most often, practitioners go about the task of …

[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 …

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 …

Enhancing deep reinforcement learning approaches for multi-robot navigation via single-robot evolutionary policy search

E Marchesini, A Farinelli - 2022 International Conference on …, 2022 - ieeexplore.ieee.org
Recent Multi-Agent Deep Reinforcement Learning approaches factorize a global action-
value to address non-stationarity and favor cooperation. These methods, however, hinder …

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 …