Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.

Paula Gouveia Jaime Ramos

Published in: Ann. Math. Artif. Intell. (2004)

Keyphrases

multi agent systems
transition systems
neural network
cooperative
game theory
learning algorithm
coalition formation
agent systems
formal language