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: Proceedings
- Conference titles: Brazilian Conference on Intelligent Systems - (BRACIS)
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
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: 12 fev. 2026. -
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 2026 fev. 12 ] 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 2026 fev. 12 ] Available from: https://doi.org/10.1007/978-3-031-45368-7_9 - Planning for temporally extended goals based on alpha-CTL
- 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
- Compilador de regras para geracao de um sistema especialista com encadeamento regressivo
- A planner agent that tries its best in presence of nondeterminism
- Uma biblioteca de métodos de resolução de problemas de planejamento para fornecer apoio à aquisição de conhecimento
- Continuous real time dynamic programming for discrete and continuous state MDPs
- Symbolic Regression for Non-Deterministic Actions
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
