Machado, W., 		Santos, V., 		Barros, L., & 		Menezes, M.
(2023).
 Specifying Preferences over Policies Using Branching Time Temporal Logic.
In <em>Proceedings of the 12th Brazilian Conference on Intelligent Systems</em>, (pp. 128-143). Porto Alegre: SBC.