Warlles Carlos Costa Machado, Viviane Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes. Specifying Preferences over Policies Using Branching Time Temporal Logic. In Murilo Coelho Naldi, Reinaldo A. C. Bianchi, editors, Intelligent Systems - 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I. Volume 14195 of Lecture Notes in Computer Science, pages 128-143, Springer, 2023. [doi]
@inproceedings{MachadoSBM23,
title = {Specifying Preferences over Policies Using Branching Time Temporal Logic},
author = {Warlles Carlos Costa Machado and Viviane Bonadia dos Santos and Leliane Nunes de Barros and Maria Viviane de Menezes},
year = {2023},
doi = {10.1007/978-3-031-45368-7_9},
url = {https://doi.org/10.1007/978-3-031-45368-7_9},
researchr = {https://researchr.org/publication/MachadoSBM23},
cites = {0},
citedby = {0},
pages = {128-143},
booktitle = {Intelligent Systems - 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I},
editor = {Murilo Coelho Naldi and Reinaldo A. C. Bianchi},
volume = {14195},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-45368-7},
}