Showing cs.AIShow all
2 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.AI2025
Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation
Luca Marzari, Isabella Mastroeni, Alessandro Farinelli
Traditional methods for formal verification (FV) of deep neural networks (DNNs) are constrained by a binary encoding of safety properties, where a model is classified as either saf…