Specification of behavioural embodied agents.

Cezary Zielinski

Published in: RoMoCo (2004)

Keyphrases

embodied agents
virtual humans
high level
database
formal specification
information systems
formal methods
formal verification
data sets
information retrieval
cooperative
agent model
specification language
collective decision making
protocol specification