Symbolic FOND planning for temporally extended goals (2022)
- Authors:
- USP affiliated authors: BARROS, LELIANE NUNES DE - IME ; SANTOS, VIVIANE MELLO BONADIA DOS - IME
- Unidade: IME
- Subjects: INTELIGÊNCIA ARTIFICIAL; MODELOS PARA PROCESSOS ESTOCÁSTICOS
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Workshop
- Conference titles: International Conference on Automated Planning and Scheduling - ICAPS
-
ABNT
SANTOS, Viviane Bonadia dos et al. Symbolic FOND planning for temporally extended goals. 2022, Anais.. Singapore: Instituto de Matemática e Estatística, Universidade de São Paulo, 2022. Disponível em: http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf. Acesso em: 28 dez. 2025. -
APA
Santos, V. B. dos, Barros, L. N. de, Pereira, S. do L., & Menezes, M. V. de. (2022). Symbolic FOND planning for temporally extended goals. In Workshop. Singapore: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf -
NLM
Santos VB dos, Barros LN de, Pereira S do L, Menezes MV de. Symbolic FOND planning for temporally extended goals [Internet]. Workshop. 2022 ;[citado 2025 dez. 28 ] Available from: http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf -
Vancouver
Santos VB dos, Barros LN de, Pereira S do L, Menezes MV de. Symbolic FOND planning for temporally extended goals [Internet]. Workshop. 2022 ;[citado 2025 dez. 28 ] Available from: http://icaps22.icaps-conference.org/workshops/KEPS/KEPS-22_paper_4759.pdf - Planning for temporally extended goals based on alpha-CTL
- Specifying preferences over policies using branching time temporal logic
- 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
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3081622 - Symbolic FOND P... | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
