Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening. Enhancing active model learning with equivalence checking using simulation relations. Formal Methods in System Design, 61(2):164-197, December 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.