Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
A Survey on the Verification of Reinforcement Learning Policies
Luca Marzari, Ezio Bartocci, Enrico Marchesini
Reinforcement learning (RL) is increasingly applied in complex, safety-critical domains, yet the lack of rigorous behavioral guarantees for neural network-based policies remains a…
cs.AI2026
Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning
Luca Marzari, Enrico Marchesini
History-dependent policies induced by recurrent neural networks (RNNs) rely on latent hidden state dynamics, making verification in partially observable reinforcement learning (RL)…
cs.AI2024
Improving Policy Optimization via -Retrain
Luca Marzari, Priya L. Donti, Changliu Liu +1
We present -retrain, an exploration strategy encouraging a behavioral preference while optimizing policies with monotonic improvement guarantees. To this end, we intro…