Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On the supermal controllable sublanguage of a given language
SIAM Journal on Control and Optimization
Reasoning about knowledge
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Model checking
Alternating-time temporal logic
Journal of the ACM (JACM)
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
IEEE Intelligent Systems
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Symbolic Controller Synthesis for Discrete and Timed Systems
Hybrid Systems II
Exception Handling in Agent-Oriented Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
An Automata-Theoretic Approach to Fair Realizability and Synthesis
Proceedings of the 7th International Conference on Computer Aided Verification
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
A Platform for Combining Deductive with Algorithmic Verification
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Toward Team-Oriented Programming
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Computing simulations on finite and infinite graphs
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
DARX—A Framework For The Fault-Tolerant Support Of Agent Software
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Automated Synthesis of Composite BPEL4WS Web Services
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Web Services Composition: A Story of Models, Automata, and Logics
SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition
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
Optimizations for LTL Synthesis
FMCAD '06 Proceedings of the Formal Methods in Computer Aided Design
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Bringing Semantics to Web Services with OWL-S
World Wide Web
Composition of Interactive Web Services Based on Controller Synthesis
SERVICES '08 Proceedings of the 2008 IEEE Congress on Services - Part I
Protocol-Based Web Service Composition
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Temporal logic motion planning for dynamic robots
Automatica (Journal of IFAC)
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
Automatic Configuration of Multi-Robot Systems: Planning for Multiple Steps
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic synthesis of a global behavior from multiple distributed behaviors
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
Automatic synthesis of new behaviors from a library of available behaviors
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Planning as model checking for extended goals in non-deterministic domains
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Automated composition of web services by planning at the knowledge level
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Composition of ConGolog programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Realising deterministic behavior from multiple non-deterministic behaviors
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Bridging the gap between fair simulation and trace inclusion
Information and Computation
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Anzu: a tool for property synthesis
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Controller/Orchestrator Synthesis via Filtration
Electronic Notes in Theoretical Computer Science (ENTCS)
Agent programming via planning programs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Agent composition synthesis based on ATL
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Decision theoretic behavior composition
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Web service composition via generic procedures and customizing user preferences
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A new algorithm for strategy synthesis in LTL games
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Synthesis of reactive(1) designs
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Temporal-Logic-Based Reactive Mission and Motion Planning
IEEE Transactions on Robotics
Verification and synthesis in description logic based dynamic systems
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
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
Synthesis of hierarchical systems
Science of Computer Programming
Hi-index | 0.00 |
The behavior composition problem amounts to realizing a virtual desired module (e.g., a surveillance agent system) by suitably coordinating (and re-purposing) the execution of a set of available modules (e.g., a video camera, vacuum cleaner, a robot, etc.). In particular, we investigate techniques to synthesize a controller implementing a fully controllable target behavior by suitably coordinating available partially controllable behaviors that are to execute within a shared, fully observable, but partially predictable (i.e., non-deterministic), environment. Both behaviors and environment are represented as arbitrary finite state transition systems. The technique we propose is directly based on the idea that the controller job is to coordinate the concurrent execution of the available behaviors so as to ''mimic'' the target behavior. To this end, we exploit a variant of the formal notion of simulation to formally capture the notion of ''mimicking'', and we show that the technique proposed is sound and complete, optimal with respect to computational complexity, and robust for different kind of system failures. In addition, we demonstrate that the technique is well suited for highly efficient implementation based on synthesis by model checking technologies, by relating the problem to that of finding a winning strategy in a special safety game and explaining how to actually solve it using an existing verification tool.