Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments.
Alessandro RicciMirko ViroliMichele PiuntiPublished in: PROMAS (2009)
Keyphrases
- formal model
- programming environment
- dynamic environments
- cooperative
- programming language
- real time
- security properties
- multi agent systems
- physical world
- computing environments
- robotic systems
- mobile robot
- autonomous robots
- complex environments
- multi agent
- multi agent environments
- object oriented programming
- natural environment
- multiagent environments
- graphical interfaces
- security patterns
- physical environment
- formal models
- web environment
- real environment
- intelligent environments
- autonomous agents
- complex systems