Formal Policy Learning from Demonstrations for Reachability Properties | IEEE Conference Publication | IEEE Xplore