Figure 4
From: "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis
Screenshot of Antelope showing the stable steady states for the stem cell niche GRN without indeterminations. The upper frame displays the name of the file being analyzed, the analysis performed (with the Hybrid CTL formula), and the mode by which the property was checked (synchronous or asynchronous). The middle frame displays the analysis results. The bottom frame displays new actions that can be done. The stable steady states correspond to the root SCN cellular types.