Control in Boolean Networks With Model Checking

Laura Cifuentes Fontanals, Elisa Tonello, Heike Siebert. Control in Boolean Networks With Model Checking. Frontiers Appl. Math. Stat., 8:838546, 2022. [doi]

Abstract

Abstract is missing.