Towards Validation of Specifications by Simulation

Authors:
Ioan Alfred Letia;Florin Craciun;Zoltan Köpe
Affiliations:
-;-;-
Venue:
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Year:
2000

Citing 3
Cited 0

A TLA+ specification for agent communication that enables proofs

Proceedings of the third annual conference on Autonomous Agents
A Roadmap of Agent Research and Development

Autonomous Agents and Multi-Agent Systems
Reflections on the Nature of Multi-Agent Coordination and Its Implications for an Agent Architecture

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

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.