Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.5555/1018422.1019930guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Evaluating Multiagent Systems: A Record/Replay Approach

Published: 20 September 2004 Publication History

Abstract

The adoption of multiagent systems by companies and users requires that it is possible to verify the properties of the multiagent systems. The main candidate of this verification is model checking but as sketched in the paper, it presents drawbacks such as combinatorial explosion or it does not take the environment into account. Model checking seems to be restricted to small systems with few agents. In this paper, we present a different approach used in testing called the Record/Replay mechanism. We add as well a post-mortem analysis. This paper describes the advantages of this approach and how we have implemented it in the MadKit platform

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings
IAT '04: Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
September 2004
558 pages
ISBN:0769521010

Publisher

IEEE Computer Society

United States

Publication History

Published: 20 September 2004

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 26 Jan 2025

Other Metrics

Citations

Cited By

View all

View Options

View options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media