Squeezing State Spaces of (Attack-Defence) Trees.

Laure Petrucci Michal Knapik Wojciech Penczek Teofil Sidoruk

Published in: ICECCS (2019)

Keyphrases

state space
decision trees
markov chain
tree structure
countermeasures
dynamic programming
tree construction
abstract argumentation
reinforcement learning
search space
optimal policy
heuristic search
markov decision processes
authentication protocol
binary trees
key exchange protocol