Robotics rule-based formalism to specify behaviors in a visual programming environment | IEEE Conference Publication | IEEE Xplore