Control Strategy Identification via Trap Spaces in Boolean Networks. - Laura Cifuentes Fontanals; Elisa Tonello; Heike Siebert (CMSB, 2020)

Control in Boolean Networks With Model Checking. - Laura Cifuentes Fontanals; Elisa Tonello; Heike Siebert (Frontiers Appl. Math. Stat., 2022)