Warlles Carlos Costa Machado, Viviane Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes. Specifying Preferences over Policies Using Branching Time Temporal Logic. In Murilo Coelho Naldi, Reinaldo A. C. Bianchi, editors, Intelligent Systems - 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I. Volume 14195 of Lecture Notes in Computer Science, pages 128-143, Springer, 2023. [doi]
Abstract is missing.