Home » Users » Giuseppe De Giacomo

Giuseppe De Giacomo

Membro di

Awards

Ultime pubblicazioni

Situation calculus for controller synthesis in manufacturing systems with first-order state representation on ARTIFICIAL INTELLIGENCE 2022
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up on Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 2021
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata on Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021 2021
Digital Twins Composition via Markov Decision Processes on CEUR Workshop Proceedings 2021
Efficient PAC Reinforcement Learning in Regular Decision Processes on Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021 2021
Embedding reactive behavior into artifact-centric business process models on FUTURE GENERATION COMPUTER SYSTEMS 2021
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis on IJCAI 2021
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma