State Space Reduction in the Maude-NRL Protocol Analyzer.
Santiago EscobarCatherine A. MeadowsJosé MeseguerPublished in: ESORICS (2008)
Keyphrases
- state space
- reinforcement learning
- lightweight
- dynamical systems
- heuristic search
- state variables
- state information
- markov chain
- optimal policy
- markov decision processes
- communication protocol
- particle filter
- search space
- multi agent systems
- reduction method
- cryptographic protocols
- data acquisition
- tcp ip
- formal specification
- planning problems
- dynamic programming
- security protocols
- action space
- elliptic curve
- real time
- logic programs
- communication protocols
- equational theories