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