1 citations · 1 across the 5 of their papers we have counts for
3 papers · 1 filter
Incremental LTLf Synthesis
Giuseppe De Giacomo, Yves Lespérance, Gianmarco Parretti +2
In this paper, we study incremental LTLf synthesis -- a form of reactive synthesis where the goals are given incrementally while in execution. In other words, the protagonist agent…
Using Large Language Models for Abstraction of Planning Domains - Extended Version
Bita Banihashemi, Megh Patel, Yves Lespérance
Generating an abstraction of a dynamic domain that aligns with a given purpose remains a significant challenge given that the choice of such an abstraction can impact an agent's ab…
Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv
Reasoning about the causes behind observations is crucial to the formalization of rationality. While extensive research has been conducted on root cause analysis, most studies have…