Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers.

Thomas Fehmel Viet-Tan Nguyen Dominik Stoffel Wolfgang Kunz

Published in: DSD (2020)

Keyphrases

state space
data acquisition
bayesian networks
reinforcement learning
video sequences
statistical analysis
fully automatic
neural network
machine learning
dynamic programming
digital images
markov chain
modeling method
automatic analysis
mathematical modeling