Skip to main content
SpringerLink
Log in

Towards Validation of Specifications by Simulation

  • Conference paper
  • First Online:
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems (AGENTS 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1887))

  • 556 Accesses

Abstract

The aim is to study the behaviour (in terms of utility) of a large number of autonomous agents under various environmental situations. Our experimental framework is an extension of the Swarm simulator with an array of intelligent agents developed in C++ and Prolog.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. John Bell and Zhisheng Huang. Dynamic obligation hierarchies. In P. MacNamara and H. Praken, editors. Proceedings of AEON’98, pages 127–142, 1998.

    Google Scholar 

  2. N. R. Jennings, K. Sycara, and M. Wooldridge. A roadmap of agent research. Autonomous Agents and Multi-Agent Systems, 1(1):7–38. 1998.

    Article  Google Scholar 

  3. Victor R. Lesser. Reflections on the nature of multi-agent coordination framework and its implications for an agent architecture. Autonomous Agents and Multi-Agent Systems, 1(1):89–111, 1998.

    Article  Google Scholar 

  4. Ioan Alfred Letia. A TLA+ specification for agent communication that enables proofs. In O. Etzioni, J.P. Müller, and J.F. Bradshaw, editors. Proceedings of the 3rd Annual Conference on Autonomous Agents, pages 410–411, Seattle, WA, USA, 1999.

    Google Scholar 

  5. M. Minar, R. Burkhart, C. Langton, and M. Askenazy. The Swarm simulation system: A toolkit, for building multi-agent simulations. Technical report, Santa, Fe Institute, 1996. http://www.santafe.edu/projects/swarm/.

    Google Scholar 

  6. R. Vincent, B. Horling, T. Wagner, and V. Lesser. Survivability simulator for multi-agent adaptive coordination. In P. Fishwick, D. Hill, and R. Smith, editors. International Conference on Web-Based Modeling and Simulation, pages 114–119, San Diego, CA, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Technical University of Cluj-Napoca, Baritiu 28, RO-3400, Cluj-Napoca, Romania

    Ioan Alfred Letia, Florin Crariun & Zoltan Köpe

Authors
  1. Ioan Alfred Letia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Florin Crariun
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zoltan Köpe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Maine, 228 Neville Hall, Orono, ME, 04469-5752, USA

    Tom Wagner

  2. Department of Computer Science, Cardiff University, Queen’s Building, Newport Road, Cardiff, CF24 3XF, Wales, UK

    Omer F. Rana

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Letia, I.A., Crariun, F., Köpe, Z. (2001). Towards Validation of Specifications by Simulation. In: Wagner, T., Rana, O.F. (eds) Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems. AGENTS 2000. Lecture Notes in Computer Science(), vol 1887. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47772-1_29

Download citation

  • DOI: https://doi.org/10.1007/3-540-47772-1_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42315-7

  • Online ISBN: 978-3-540-47772-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation