An Incremental Approach to Reachability Analysis of Distributed Programs.

Kuo-Chung Tai Pramod V. Koppol

Published in: IWSSD (1993)

Keyphrases

reachability analysis
incremental algorithms
markov decision processes
model checking
timed automata
distributed systems
cooperative
peer to peer
multi agent
computer programs
sufficient conditions
communication cost
incremental learning
real time
state space
knowledge base
machine learning