Home » Users » Fabio Patrizi

Fabio Patrizi

Membro di

Awards

Ultime pubblicazioni

Situation calculus for controller synthesis in manufacturing systems with first-order state representation on ARTIFICIAL INTELLIGENCE 2022
Discovering Declarative Process Model Behavior from Event Logs via Model Learning on Proceedings - 2021 3rd International Conference on Process Mining, ICPM 2021 2021
Timed Trace Alignment with Metric Temporal Logic over Finite Traces on KR 2021 2021
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 AAAI 2020 - 34th 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
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma