1. Identification of genetic networks from a small number of gene expression patterns under the Boolean network model;Akutsu,1999
2. Alanwar, Amr, Jiang, Frank J., Amin, Samy, & Johansson, Karl H. (2023). Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions. In 62nd IEEE conference on decision and control (pp. 60–66).
3. Reachability analysis and its application to the safety assessment of autonomous cars;Althoff,2010
4. Universal boolean functional vectors;Bingham,2015
5. Efficient reachability analysis on modular discrete-event systems using binary decision diagrams;Byrod,2006