Marco Favorito

2 papers in the IJCAI proceedings

IJCAI 2024

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)

with Luigi Bonassi, Giuseppe De Giacomo, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala

doi:10.24963/ijcai.2024/926

Details PDF

IJCAI 2022

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work

with Giuseppe De Giacomo, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu

doi:10.24963/ijcai.2022/359

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings