Lisette Sanchez

According to our database, Lisette Sanchez authored at least 2 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Active Learning of Industrial Software with Data.

Lisette Sanchez, Jan Friso Groote, Ramon R. H. Schiffelers

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018

A Comparison of BDD-Based Parity Game Solvers.

Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Proceedings Ninth International Symposium on Games, 2018