Planning via model checking with decision-tree controllers.

Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretnsk

Browse the full ICRA paper archive.