@article{{bracis}{}, author = {Machado, W., Santos, V., Barros, L., Menezes, M.}, title = { Specifying Preferences over Policies Using Branching Time Temporal Logic}, journal = {Anais da Brazilian Conference on Intelligent Systems (BRACIS)}, year = {2023}, url = {https://sol.sbc.org.br/index.php/bracis/article/view/28353} }