Author

E. Marchesini

h-index 9 View on Semantic Scholar

We have 1 of 34 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Probabilistic Veriﬁcation of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning

Experiments on partially observable single-agent and cooperative multi-agent tasks show that RNN-ProVe yields more quantitative, feasibility-aware probabilistic guarantees than existing tools, while scaling to recurrent and multi-agent settings.

Luca Marzari, E. Marchesini · 0 citations