| Autor(es): |
dos Santos, Viviane Bonadia
;
de Barros, Leliane Nunes
;
de Menezes, Maria Viviane
;
Pereira, Silvio do Lago
Número total de Autores: 4
|
| Tipo de documento: | Artigo Científico |
| Fonte: | PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, AAMAS 2025; v. N/A, p. 3-pg., 2025-01-01. |
| Resumo | |
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) | |
| Processo FAPESP: | 19/07665-4 - Centro de Inteligência Artificial |
| Beneficiário: | Fabio Gagliardi Cozman |
| Modalidade de apoio: | Auxílio à Pesquisa - Programa eScience e Data Science - Centros de Pesquisa Aplicada |