| Author(s): |
dos Santos, Viviane Bonadia
;
de Barros, Leliane Nunes
;
de Menezes, Maria Viviane
;
Pereira, Silvio do Lago
Total Authors: 4
|
| Document type: | Journal article |
| Source: | PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, AAMAS 2025; v. N/A, p. 3-pg., 2025-01-01. |
| Abstract | |
We present the PACTL-XR planner for FOND planning, a planner based on symbolic model checking and alpha-CTL logic. The experiments showthat our planner can efficiently find policies for complex planning goals, such extended reachability goals, and outperform the results of state-of-the-art planners in some domains. (AU) | |
| FAPESP's process: | 19/07665-4 - Center for Artificial Intelligence |
| Grantee: | Fabio Gagliardi Cozman |
| Support Opportunities: | Research Grants - Research Program in eScience and Data Science - Research Centers in Engineering Program |