[KGAK22]
Jonis Kiesbye, Kush Grover, Pranav Ashok and Jan Křetínský.
Planning via model checking with decision-tree controllers.
In Proc. International Conference on Robotics and Automation (ICRA'22).
2022.
[Uses PRISM within a toolchain for planning with decision-tree controller generation.]
|
