Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation.
Orna GrumbergTamir HeymanNili IferganAssaf SchusterPublished in: CHARME (2005)
Keyphrases
- reachability analysis
- orders of magnitude
- distributed environment
- model checking
- markov decision processes
- timed automata
- distributed systems
- state space
- machine learning
- distributed constraint satisfaction problems
- incremental algorithms
- peer to peer
- cooperative
- multi agent
- high level
- real time
- mobile agents
- dynamical systems
- artificial intelligence
- distributed constraint satisfaction