Christopher Amato

2026

doi dblp

Verifying Online Safety Properties for Safe Deep Reinforcement Learning.

Luca Marzari|Ferdinando Cicalese|Alessandro Farinelli|Christopher Amato|Enrico Marchesini

ACM Transactions on Intelligent Systems and Technology (TIST) 2026 Volume 17 Issue 1