Set stabilizability of switched Boolean control networks via Ledley antecedence solution. (May 2023)