Multi-agent Reactive Systems.

Prahladavaradan Sampath

Published in: PADL (2003)

Keyphrases

reactive systems
multi agent
model checking
temporal logic
information flow
cooperative
petri net
control flow
multi agent systems
formal methods
intelligent agents
multiagent systems
reinforcement learning
real time systems
state machines
real time