Planning via model checking with decision-tree controllers

Title:: Planning via model checking with decision-tree controllers
Document type:: Konferenzbeitrag
Author(s):: Kiesbye, Jonis; Grover, Kush; Ashok, Pranav; Kretinsky, Jan
Book / Congress title:: 2022 International Conference on Robotics and Automation (ICRA)
Publisher:: IEEE
Date of publication:: 23.05.2022
Year:: 2022
Fulltext / DOI:: doi:10.1109/icra46639.2022.9811980
BibTeX