1. Using SAT Solvers to Reverse-Engineer FSM Models of Digital Devices;Electronics;2023-11-17
2. The Mealy-machine reduction functions of Spot;Science of Computer Programming;2023-08
3. Dissecting ltlsynt;Formal Methods in System Design;2023-07-14
4. Effective Reductions of Mealy Machines;Formal Techniques for Distributed Objects, Components, and Systems;2022
5. Passive Automata Learning: DFAs and NFAs;Lecture Notes in Computer Science;2022