@inproceedings{inproceedings60bb2333,
title   = {Specifying preferences over policies using branching time temporal logic},
author = {Machado, Warlles Carlos Costa and Santos, Viviane Bonadia dos and Barros, Leliane Nunes de and Menezes, Maria Viviane de},
year = {2023},
doi = {10.1007/978-3-031-45368-7_9},
publisher = {Springer},
booktitle   = {Brazilian Conference on Intelligent Systems - (BRACIS)}
}