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
Automated Software Engineering
Bogor: an extensible and highly-modular software model checking framework
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Verification of Multiagent Systems via Unbounded Model Checking
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
State-Space Reduction Techniques in Agent Verification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Model Checking Rational Agents
IEEE Intelligent Systems
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
A common semantic basis for BDI languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Automated Verification of Multi-Agent Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Model checking normative agent organisations
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Agent factory: a framework for prototyping logic-based AOP languages
MATES'11 Proceedings of the 9th German conference on Multiagent system technologies
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over the last few years. With these platforms becoming more popular, and multi-agent systems being increasingly used for safety-critical applications, the need for verification techniques that apply to systems written in such languages is proportionally intensified. Building on our previous work on model checking for a particular agent-oriented programming language, we have developed a new approach whereby model checking techniques can be used directly on a variety of such languages. The approach also supports the verification of multi-agent systems where individual agents have been programmed in different agent languages.