Modeling and verifying multi-agent behaviors using predicate/transition nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A Framework for Model-Based Design of Agent-Oriented Software
IEEE Transactions on Software Engineering
Petriplan: A New Algorithm for Plan Generation (Preliminary Report)
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
An Agent-Based Approach to Developing Intelligent Virtual Reality-Based Training Systems
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
Automated Software Engineering
Coordinating Agents Plans in Multi-Agent Systems Using Colored Petri Nets
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Hi-index | 0.00 |