Warlles Machado, Viviane Santos, Leliane Barros, and Maria Menezes. 2023.
 Specifying Preferences over Policies Using Branching Time Temporal Logic. In <em>Anais da XII Brazilian Conference on Intelligent Systems</em>, setembro 25, 2023, Belo Horizonte/MG, Brasil. SBC, Porto Alegre, Brasil, 128-143.