Probabilistic Black-Box Checking via Active MDP Learning.

Junya Shijubo Masaki Waga Kohei Suenaga

Published in: ACM Trans. Embed. Comput. Syst. (2023)

Keyphrases

black box
reinforcement learning
learning algorithm
supervised learning
generative model
black boxes
incremental learning
hybrid systems
e learning
case study
relational databases
learning process
probabilistic model
utility function
markov decision processes