Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretínský. Planning via model checking with decision-tree controllers. In 2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022. pages 4347-4354, IEEE, 2022. [doi]
Abstract is missing.