Lukasiewicz' insect: the role of continuous-valued logic in a mobile robot's sensors, control, and locomotion | IEEE Conference Publication | IEEE Xplore