Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract).
Bernard BoigelotPatrice GodefroidPublished in: CAV (1996)
Keyphrases
- extended abstract
- communication protocols
- protocol specification
- state space
- communication protocol
- model checking
- markov chain
- communication networks
- information systems
- reinforcement learning
- symbolic representation
- planning problems
- markov decision processes
- social networks
- heuristic search
- activity recognition
- dynamic programming
- computer simulation
- reinforcement learning algorithms
- search algorithm
- binary decision diagrams
- decision support
- sensor networks