TY  - RPRT
TI  - Probabilistic Black-Box Checking via Active MDP Learning
AU  - Junya Shijubo
AU  - Masaki Waga
AU  - Kohei Suenaga
PY  - 2023
UR  - https://arxiv.org/abs/2308.07930
ID  - 2308.07930
ER  -