Planning for temporally extended goals in pure-past linear temporal logic L Bonassi, G De Giacomo, M Favorito, F Fuggitti, AE Gerevini, E Scala Proceedings of the International Conference on Automated Planning and …, 2023 | 12 | 2023 |
On planning with qualitative state-trajectory constraints in PDDL3 by compiling them away L Bonassi, AE Gerevini, F Percassi, E Scala Proceedings of the International Conference on Automated Planning and …, 2021 | 12 | 2021 |
Planning with Qualitative Action-Trajectory Constraints in PDDL. L Bonassi, AE Gerevini, E Scala IJCAI, 4606-4613, 2022 | 7 | 2022 |
FOND Planning for Pure-Past Linear Temporal Logic Goals L Bonassi, G De Giacomo, M Favorito, F Fuggitti, AE Gerevini, E Scala ECAI 2023, 279-286, 2023 | 3 | 2023 |
Dealing with Numeric and Metric Time Constraints in PDDL3 via Compilation to Numeric Planning L Bonassi, AE Gerevini, E Scala Proceedings of the AAAI Conference on Artificial Intelligence 38 (18), 20036 …, 2024 | | 2024 |
Planning with PDDL3 Qualitative Constraints for Cost-Optimal Solutions Through Compilation L Bonassi, E Scala, AE Gerevini CEUR WORKSHOP PROCEEDINGS 3345, 2022 | | 2022 |