Sign in
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