Login / Signup
Specification and Verification of Dynamics in Cognitive Agent Models.
Tibor Bosse
Catholijn M. Jonker
Lourens van der Meij
Alexei Sharpanskykh
Jan Treur
Published in:
IAT (2006)
Keyphrases
</>
agent model
formal analysis
formal verification
collective decision making
asynchronous circuits
formal methods
model checking
agent based simulation
protocol specification
information processing
formal specification
cognitive science
specification language
computational models