Home » Users » Fabio Patrizi

Fabio Patrizi

Membro di

Awards

Ultime pubblicazioni

High-level Programming via Generalized Planning and LTL Synthesis on Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) 2020
Imitation Learning over Heterogeneous Agents with Restraining Bolts on Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS) 2020
Restraining Bolts for Reinforcement Learning Agents on Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence 2020
Temporal Logic Monitoring Rewards via Transducers on Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications on Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling 2019
ICDT Test of Time Award on Automatic verification of data-centric business processes. 2019
Modeling and In-Database Management of Relational, Data-Aware Processes on Advanced Information Systems Engineering 2019
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma