Login / Signup
MAZE: An Extension of Object-Z for Multi-Agent Systems.
Graeme Smith
Qin Li
Published in:
ABZ (2014)
Keyphrases
</>
multi agent systems
complex objects
multi agent
d objects
agent architecture
viewpoint
data model
spatial information
spatial relationships
multiple objects
agent technology
object level
object identification