Gianmarco Parretti | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Giuseppe De Giacomo
27 publications
Shufang Zhu
9 publications

research

∙ 08/29/2023

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains

We study best-effort strategies (aka plans) in fully observable nondeter...

0 Giuseppe De Giacomo, et al. ∙

research

∙ 08/29/2023

Symbolic LTLf Best-Effort Synthesis

We consider an agent acting to fulfil tasks in a nondeterministic enviro...

0 Giuseppe De Giacomo, et al. ∙

Success!

An error occurred