Decision theory: an introduction to the mathematics of rationality
Decision theory: an introduction to the mathematics of rationality
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Artificial Intelligence
Alternating-time temporal logic
Journal of the ACM (JACM)
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
Web Services Composition: A Story of Models, Automata, and Logics
SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
PEIS ecologies: ambient intelligence meets autonomous robotics
Proceedings of the 2005 joint conference on Smart objects and ambient intelligence: innovative context-aware services: usages and technologies
Composition of Interactive Web Services Based on Controller Synthesis
SERVICES '08 Proceedings of the 2008 IEEE Congress on Services - Part I
Synthesis from Component Libraries
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
An algebraic definition of simulation between programs
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Automatic synthesis of new behaviors from a library of available behaviors
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Realising deterministic behavior from multiple non-deterministic behaviors
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Agent composition synthesis based on ATL
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Decision theoretic behavior composition
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Synthesis of Reactive(1) designs
Journal of Computer and System Sciences
Supremal realizability of behaviors with uncontrollable exogenous events
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Behavior composition optimization
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
The behavior composition problem involves automatically building a controller that is able to realize a desired, but unavailable, target system (e.g., a house surveillance) by suitably coordinating a set of available components (e.g., video cameras, blinds, lamps, a vacuum cleaner, phones, etc.) Previous work has almost exclusively aimed at bringing about the desired component in its totality, which is highly unsatisfactory for unsolvable problems. In this work, we develop an approach for approximate behavior composition without departing from the classical setting, thus making the problem applicable to a much wider range of cases. Based on the notion of simulation, we characterize what a maximal controller and the "closest" implementable target module (optimal approximation) are, and show how these can be computed using ATL model checking technology for a special case. We show the uniqueness of optimal approximations, and prove their soundness and completeness with respect to their imported controllers.