An algebraic definition of simulation between programs
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Realising deterministic behavior from multiple non-deterministic behaviors
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Decision theoretic behavior composition
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Qualitative approximate behavior composition
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Automatic behavior composition synthesis
Artificial Intelligence
Hi-index | 0.00 |
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.