Reasoning About Networks With Many Identical Finite-State Processes.

Edmund M. Clarke Orna Grumberg Michael C. Browne

Published in: PODC (1986)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
social networks
process model
vector quantizer
action sets
average cost
data mining
partially observable markov decision processes
decision problems
tree automata