Specifying preferences over policies using branching time temporal logic (2023)
- Authors:
- USP affiliated authors: BARROS, LELIANE NUNES DE - IME ; SANTOS, VIVIANE MELLO BONADIA DOS - IME
- Unidade: IME
- DOI: 10.1007/978-3-031-45368-7_9
- Assunto: CIÊNCIA DA COMPUTAÇÃO
- Keywords: Non-Deterministic Planning; Preferences; Temporal Logic
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: Proceedings
- Conference titles: Brazilian Conference on Intelligent Systems - (BRACIS)
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
MACHADO, Warlles Carlos Costa et al. Specifying preferences over policies using branching time temporal logic. 2023, Anais.. Cham: Springer, 2023. Disponível em: https://doi.org/10.1007/978-3-031-45368-7_9. Acesso em: 28 abr. 2024. -
APA
Machado, W. C. C., Santos, V. B. dos, Barros, L. N. de, & Menezes, M. V. de. (2023). Specifying preferences over policies using branching time temporal logic. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-45368-7_9 -
NLM
Machado WCC, Santos VB dos, Barros LN de, Menezes MV de. Specifying preferences over policies using branching time temporal logic [Internet]. Proceedings. 2023 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.1007/978-3-031-45368-7_9 -
Vancouver
Machado WCC, Santos VB dos, Barros LN de, Menezes MV de. Specifying preferences over policies using branching time temporal logic [Internet]. Proceedings. 2023 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.1007/978-3-031-45368-7_9 - PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos
- Symbolic FOND planning for temporally extended goals
- 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
- Planning task validation
Informações sobre o DOI: 10.1007/978-3-031-45368-7_9 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas