Boolean network robotics as an intermediate step in the synthesis of finite state machines for robot control. - Lorenzo Garattoni; Andrea Roli; Matteo Amaducci; Carlo Pinciroli; Mauro Birattari (ECAL, 2013)