Modeling and verifying multi-agent behaviors using predicate/transition nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Petri net plans: a formal model for representation and execution of multi-robot plans
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Agent architectures for flexible, practical teamwork
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Scalable target detection for large robot teams
Proceedings of the 6th international conference on Human-robot interaction
Usability evaluation of high-level user assistance for robot mission specification
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Hi-index | 0.00 |
This paper presents a team plan specification language that combines work in the creation of generic team plans and design of intelligent interfaces. Two motivations the language are (1) to combine inter-agent cooperation and operator interaction of complex behaviors into a single plan, and (2) to separate plan design and UI design such that they are created by application domain experts and human interaction experts, respectively. The result is a generic language for multi-robot plans that defines tasks to be performed, interactions for maintaining situational awareness, and mixed initiative reactions to operator workload.