@article{Yogananda_Jeppu_2023,
    title = {Enhancing active model learning with equivalence checking using simulation relations},
    ISSN = {1572-8102},
    url = {http://dx.doi.org/10.1007/s10703-023-00433-y},
    DOI = {10.1007/s10703-023-00433-y},
    journal = {Formal Methods in System Design},
    publisher = {Springer Science and Business Media LLC},
    author = {Yogananda Jeppu, Natasha and Melham, Tom and Kroening, Daniel},
    year = {2023},
    month = {aug},
    date-added = {2023-11-19 22:55:47 +0100}
}

@article{Yogananda_Jeppu_2023, title = {Enhancing active model learning with equivalence checking using simulation relations}, ISSN = {1572-8102}, url = {http://dx.doi.org/10.1007/s10703-023-00433-y}, DOI = {10.1007/s10703-023-00433-y}, journal = {Formal Methods in System Design}, publisher = {Springer Science and Business Media LLC}, author = {Yogananda Jeppu, Natasha and Melham, Tom and Kroening, Daniel}, year = {2023}, month = {aug}, date-added = {2023-11-19 22:55:47 +0100} }