Symbolic bisimulation for open and parameterized systems. - Zechen Hou; Eric Madelaine (PEPM@POPL, 2020)

SMT-based generation of symbolic automata. - Xudong Qin; Simon Bliudze; Eric Madelaine; Zechen Hou; Yuxin Deng; Min Zhang 002 (Acta Informatica, 2020)