A Comparison of BDD-Based Parity Game Solvers. - Lisette Sanchez; Wieger Wesselink; Tim A. C. Willemse (GandALF, 2018)

Active Learning of Industrial Software with Data. - Lisette Sanchez; Jan Friso Groote; Ramon R. H. Schiffelers (FSEN, 2019)