Planning via model checking with decision-tree controllers

Titel:: Planning via model checking with decision-tree controllers
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Kiesbye, Jonis; Grover, Kush; Ashok, Pranav; Kretinsky, Jan
Kongress- / Buchtitel:: 2022 International Conference on Robotics and Automation (ICRA)
Verlag / Institution:: IEEE
Publikationsdatum:: 23.05.2022
Jahr:: 2022
Volltext / DOI:: doi:10.1109/icra46639.2022.9811980
BibTeX