State Space Reduction in the Maude-NRL Protocol Analyzer
Santiago EscobarCatherine A. MeadowsJosé MeseguerPublished in: CoRR (2011)
Keyphrases
- state space
- heuristic search
- markov decision processes
- reinforcement learning
- state variables
- dynamic programming
- markov chain
- search space
- state information
- reduction method
- particle filter
- lightweight
- dynamical systems
- continuous time markov process
- coloured petri nets
- application layer
- formal specification
- neural network
- wireless sensor networks
- optimal policy
- belief state
- reinforcement learning algorithms
- action space
- authentication protocol
- data acquisition
- communication protocols
- network protocols
- equational theories