Approximating happens-before order: interplay between static analysis and state space traversal.

Pavel Parízek Pavel Jancík

Published in: SPIN (2014)

Keyphrases

static analysis
state space
reinforcement learning
data structure
open source
source code
particle filter
optimal policy
malicious code