A Performance Study of Distributed Timed Automata Reachability Analysis.

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

reachability analysis
timed automata
model checking
distributed systems
markov decision processes
learning algorithm
reinforcement learning
objective function
multi agent
random walk
first order logic