Machado, W., 		Santos, V., 		Barros, L., & 		Menezes, M.
2023 set 25.  Specifying Preferences over Policies Using Branching Time Temporal Logic. Anais da Brazilian Conference on Intelligent Systems (BRACIS). [Online] :