Ezio Bartocci

TU Wien

2 papers in the IJCAI proceedings

IJCAI 2026

A Survey on the Verification of Reinforcement Learning Policies

with Luca Marzari, Enrico Marchesini

doi:10.24963/ijcai.2026/883

Details PDF

IJCAI 2025

Rule-Guided Reinforcement Learning Policy Evaluation and Improvement

with Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek

doi:10.24963/ijcai.2025/696

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings