Optimal control of robotic systems with logical constraints: Application to UAV path planning | IEEE Conference Publication | IEEE Xplore