Modelling Multi-agent Reactive Systems.

Prahladavaradan Sampath

Published in: ICLP (2002)

Keyphrases

reactive systems
multi agent
information flow
model checking
temporal logic
cooperative
petri net
real time systems
reinforcement learning
multiagent systems
multi agent systems
control flow
real time
decision making
real world
relational databases
multiple agents