Cited By
View all- Vaandrager FMidya A(2022)A Myhill-Nerode theorem for register automata and symbolic trace languagesTheoretical Computer Science10.1016/j.tcs.2022.01.015912:C(37-55)Online publication date: 12-Apr-2022
- Yogananda Jeppu NMelham TKroening D(2022)Enhancing active model learning with equivalence checking using simulation relationsFormal Methods in System Design10.1007/s10703-023-00433-y61:2-3(164-197)Online publication date: 1-Dec-2022
- Wu ZJohnson EYang WBastani OSong DPeng JXie TDumas MPfahl DApel SRusso A(2019)REINAM: reinforcement learning for input-grammar inferenceProceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3338906.3338958(488-498)Online publication date: 12-Aug-2019
- Show More Cited By