On Reachability Analysis of Multi Agent Nets.

Toshiyuki Miyamoto Masaki Sakamoto Sadatoshi Kumagai

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2007)

Keyphrases

reachability analysis
multi agent
markov decision processes
model checking
timed automata
incremental algorithms
reinforcement learning
state space
multi agent systems
multiagent systems
cooperative
multiple agents
heterogeneous agents
optimal policy
temporal logic
single agent
policy iteration