Before revision:  Mathematical aspects are the modeling of transition dynamics as a Markov Decision Process (MDP), efficient graph generation and consequent graph search .
After revision:  The developed methods are based on efficient graph generation and consequent graph search .