Synthesizing Distributed Finite-State Systems from MSCs.

Madhavan Mukund K. Narayan Kumar Milind A. Sohoni

Published in: CONCUR (2000)

Keyphrases

finite state
distributed systems
markov chain
model checking
markov decision processes
machine learning
multi agent
search space
dynamic programming
state space
optimal policy
formal methods
transition systems