Fig. 2From: Identification of bifurcation transitions in biological regulatory networks using Answer-Set ProgrammingExamples of local causality graphs. (Left) over-approximation of \(a_2\) reachability from \(\langle a_1,b_0,c_2 \rangle\) (middle) over-approximation of \(a_2\) reachability from \(\langle a_1,b_0,c_1 \rangle\) (right) under-approximation of \(a_2\) reachability from \(\langle a_0,b_1,c_1 \rangle\). The small circles represent the local pathsBack to article page