Planning for temporally extended goals based on alpha-CTL (2025)
- Authors:
- USP affiliated authors: BARROS, LELIANE NUNES DE - IME ; SANTOS, VIVIANE MELLO BONADIA DOS - IME
- Unidade: IME
- DOI: 10.5555/3709347.3743897
- Subjects: INTELIGÊNCIA ARTIFICIAL; SISTEMAS MULTIAGENTES; SISTEMAS AUTÔNOMOS
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Proceedings
- Volume/Número/Paginação/Ano: p. 2443-2445, 2025
- Conference titles: International Conference on Autonomous Agents and Multiagent Systems - AAMAS
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
SANTOS, Viviane Bonadia dos et al. Planning for temporally extended goals based on alpha-CTL. 2025, Anais.. Richland: IFAAMAS, 2025. p. 2443-2445. . Acesso em: 28 dez. 2025. -
APA
Santos, V. B. dos, Barros, L. N. de, Menezes, M. V., & Pereira, S. do L. (2025). Planning for temporally extended goals based on alpha-CTL. In Proceedings (p. 2443-2445). Richland: IFAAMAS. doi:10.5555/3709347.3743897 -
NLM
Santos VB dos, Barros LN de, Menezes MV, Pereira S do L. Planning for temporally extended goals based on alpha-CTL. Proceedings. 2025 ; 2443-2445.[citado 2025 dez. 28 ] -
Vancouver
Santos VB dos, Barros LN de, Menezes MV, Pereira S do L. Planning for temporally extended goals based on alpha-CTL. Proceedings. 2025 ; 2443-2445.[citado 2025 dez. 28 ] - Specifying preferences over policies using branching time temporal logic
- Symbolic FOND planning for temporally extended goals
- PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos
- Planejamento baseado em verificação simbólica de modelos
- Real-time symbolic dynamic programming for hybrid MDPs
- A planner agent that tries its best in presence of nondeterminism
- Compilador de regras para geracao de um sistema especialista com encadeamento regressivo
- Reachability-based model reduction for Markov decision process
- The role of knowledge in cognitive robotics planning
- Laboratório de ensino de inteligência artificial
Informações sobre o DOI: 10.5555/3709347.3743897 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
