Specifying preferences over policies using branching time temporal logic (2023)
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - (BRACIS). Unidade: IME
Assunto: CIÊNCIA DA COMPUTAÇÃO
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: 16 nov. 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_9NLM
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 nov. 16 ] Available from: https://doi.org/10.1007/978-3-031-45368-7_9Vancouver
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 nov. 16 ] Available from: https://doi.org/10.1007/978-3-031-45368-7_9