Machado, Warlles, 		Santos, Viviane, 		Barros, Leliane, E 		Menezes, Maria.
" Specifying Preferences over Policies Using Branching Time Temporal Logic" <em>Anais da Brazilian Conference on Intelligent Systems (BRACIS)</em> [Online], (25 setembro 2023)