Search Results for author:
Found 1 papers, 1 papers with code
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks
In this paper, we address the logical reasoning on universal properties of MTSs in the scope of two problems: the reprogramming of Boolean networks for identifying the permanent freeze of Boolean variables that enforce a given property on all the MTSs, and the synthesis of Boolean networks from universal properties on their MTSs.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
