Leader-Follower semi-Markov Decision Problems: Theoretical Framework and Approximate Solution | IEEE Conference Publication | IEEE Xplore