Enhancing active model learning with equivalence checking using simulation relations
Natasha Yogananda Jeppu‚ Tom Melham and Daniel Kroening
ISBN
1572−8102
Journal
Formal Methods in System Design
Month
August
Publisher
Springer Nature
Volume
61
Year
2023