Giuseppe de Giacomo

2
Papers
0
Total Citations

Papers (2)

Situation Calculus Temporally Lifted Abstractions for Generalized Planning

AAAI 2025
0
citations

LTLf Synthesis Under Unreliable Input

AAAI 2025arXiv
0
citations