A symbolic-neural method for solving control problems | IEEE Conference Publication | IEEE Xplore