Reachability Analysis on Distributed Executions.

Claire Diehl Claude Jard Jean-Xavier Rampon

Published in: TAPSOFT (1993)

Keyphrases

reachability analysis
markov decision processes
model checking
multi agent
distributed systems
incremental algorithms
state space
cooperative
data mining
computational complexity
distributed environment
computing environments
timed automata