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 | 17 | 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 | 16 | 2021 |
Planning with Qualitative Action-Trajectory Constraints in PDDL. L Bonassi, AE Gerevini, E Scala IJCAI, 4606-4613, 2022 | 14 | 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 | 7 | 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 | 2 | 2024 |
Effective Approaches for Handling Plan Constraints and Temporally Extended Goals in Automated Planning L Bonassi Università degli studi di Brescia, 2024 | | 2024 |
Shielded FOND: Planning With Safety Constraints in Pure-Past Linear Temporal Logic L Bonassi, G De Giacomo, AE Gerevini, E Scala ECAI 2024, 1262-1269, 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 |