Aniello Murano

Planning and Synthesis Under Assumptions

2018 · arXiv (Cornell University)

In Reasoning about Action and Planning, one synthesizes the agent plan by taking advantage of the assumption on how the environment works (that is, one exploits the environment's effects, its fairness, its trajectory constraints). In …

Synthesizing strategies under expected and exceptional environment behaviors

2020

We consider an agent that operates with two models of the environment: one that captures expected behaviors and one that captures additional exceptional behaviors. We study the problem of synthesizing agent strategies that enforce a …

Strategic Abilities of Forgetful Agents in Stochastic Environments

2023 · arXiv (Cornell University)

In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL* under imperfect information. Specifically, we present novel decidability and complexity results when the model transitions are stochastic and agents play …