Behavior Composition Optimization / 3247
Nitin Yadav

The behavior composition problem involves the automatic synthesis of a controller that is able to "realize" (i.e., implement) a desired target behavior specification by suitably coordinating a set of already available behaviors. While the problem has been thoroughly studied, one open issue has resisted a principled solution: if the target specification is not fully realizable, is there a way to realize it "at best"? In this doctoral work, we look at quantitative and qualitative ways to address this question.