Yogananda Jeppu, N., Melham, T., & Kroening, D. (2023). Enhancing active model learning with equivalence checking using simulation relations. Springer.

Yogananda Jeppu, N., T. Melham, and D. Kroening. Enhancing Active Model Learning with Equivalence Checking Using Simulation Relations. Springer, 2023.

Yogananda Jeppu, N., et al. Enhancing Active Model Learning with Equivalence Checking Using Simulation Relations. Springer, 2023.