State space reduction in the Maude-NRL Protocol Analyzer.
Santiago EscobarCatherine A. MeadowsJosé MeseguerSonia SantiagoPublished in: Inf. Comput. (2014)
Keyphrases
- state space
- heuristic search
- dynamical systems
- reinforcement learning
- lightweight
- optimal policy
- markov decision processes
- dynamic programming
- state information
- state variables
- communication protocol
- network protocols
- cryptographic protocols
- authentication protocol
- action space
- search space
- initial state
- formal analysis
- formal specification
- markov chain
- communication protocols
- coloured petri nets
- stochastic domains
- continuous state spaces
- markov decision process
- planning problems
- logic programs
- low cost
- digital libraries
- search algorithm