Efficient Black-Box Checking via Model Checking with Strengthened Specifications. - Junya Shijubo; Masaki Waga; Kohei Suenaga (RV, 2021)

Probabilistic Black-Box Checking via Active MDP Learning. - Junya Shijubo; Masaki Waga; Kohei Suenaga (ACM Trans. Embed. Comput. Syst., 2023)