Machado, Warlles, Viviane Bonadia dos Santos, Leliane Nunes de Barros, and Maria Viviane de Menezes.
" Specifying Preferences over Policies Using Branching Time Temporal Logic." <em>Proceedings of the 12th Brazilian Conference on Intelligent Systems,
Belo Horizonte/MG, 2023</em>. SBC, 2023,  
pp.128-143.