Fixing monotone Boolean networks asynchronously

Julio Aracena, Maximilien Gadouleau, Adrien Richard +1

The asynchronous automaton associated with a Boolean network $f:\{0,1{\}}^n\to \{0,1{\}}^n$ is considered in many applications. It is the finite deterministic automaton with set of stat…