Specifying Preferences over Policies Using Branching Time Temporal Logic. - Warlles Carlos Costa Machado; Viviane Bonadia dos Santos; Leliane Nunes de Barros; Maria Viviane de Menezes (BRACIS (1), 2023)