Compositional transient reachability analysis for agent-based simulations.

Benjamin Herd Simon Miles Peter McBurney Michael Luck

Published in: Stud. Inform. Univ. (2012)

Keyphrases

reachability analysis
agent based simulations
markov decision processes
model checking
steady state
multi agent
timed automata
state space
incremental algorithms
dynamic programming
markov chain
case study
information technology
optimal policy
inter organizational