FSP and FLTL framework for specification and verification of middle-agents.

Amelia Badica Costin Badica

Published in: Int. J. Appl. Math. Comput. Sci. (2011)

Keyphrases

cooperative
main contribution
logical framework
formal verification
multi agent systems
intelligent software agents
probabilistic model
resource allocation
software agents
learning algorithm
artificial intelligence
state space
negotiation protocol
multi agent planning