MDPFuzzer: Finding Crash-Triggering State Sequences in Models Solving the Markov Decision Process.

Qi Pang Yuanyuan Yuan Shuai Wang

Published in: CoRR (2021)

Keyphrases

markov decision process
transition matrices
state space
transition probabilities
prior knowledge
probabilistic model
reward function
machine learning
complex systems
finite horizon