Probabilistic Black-Box Checking via Active MDP Learning.

Junya Shijubo Masaki Waga Kohei Suenaga

Published in: CoRR (2023)

Keyphrases

black box
reinforcement learning
supervised learning
markov decision processes
neural network
learning process
test cases
machine learning
state space
hybrid systems
database
search space
test set
incremental learning
white box