W. Machado, V. Santos, L. Barros, and M. Menezes.
" Specifying Preferences over Policies Using Branching Time Temporal Logic", in <em>Anais da XII Brazilian Conference on Intelligent Systems</em>, Belo Horizonte/MG, 2023, pp. 128-143.