Planning via model checking with decision-tree controllers. - Jonis Kiesbye; Kush Grover; Pranav Ashok; Jan Kretínský (ICRA, 2022)