Benjamin Aminof

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 …