LTSmin: Distributed and Symbolic Reachability.
Stefan BlomJaco van de PolMichael WeberPublished in: CAV (2010)
Keyphrases
- distributed systems
- distributed environment
- distributed architecture
- symbolic representation
- lightweight
- cooperative
- state space
- symbolic description
- neural network
- databases
- search algorithm
- query processing
- mobile robot
- database
- multi agent
- reinforcement learning
- multiscale
- fault tolerant
- metadata
- transitive closure
- peer to peer networks
- distributed processing
- heterogeneous environments