The Cat-and-Mouse Problem as a System of Boolean Equations
Otakar Kříž · Birkhäuser Basel eBooks · 1993
The problem is defined in the setting of logical automata and the control of the doors is given by a set of logical functions understood as output function of a Moore automaton describing possible development of the whole system. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.