id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
bracis-28353	Machado, Warlles Carlos Costa; Santos, Viviane Bonadia dos; Barros, Leliane Nunes de; Menezes, Maria Viviane de	Specifying Preferences over Policies Using Branching Time Temporal Logic	2023		.htm	text/html	7411	359	56	Up to our knowledge, this is the first work to solve non-deterministic planning problems with preferences using a CTL temporal logic. The work in [27] presents a planning algorithm that aims to solve non-deterministic planning problems with temporally extended goals (complex goals), while also considering the quality of the policy (weak, strong, or strong-cyclic).	cache/bracis-28353.htm	txt/bracis-28353.txt