{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:15:31Z","timestamp":1762272931060,"version":"3.37.3"},"reference-count":60,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002745","name":"Bayerische Forschungsstiftung","doi-asserted-by":"publisher","award":["AZ-1318-17"],"award-info":[{"award-number":["AZ-1318-17"]}],"id":[{"id":"10.13039\/501100002745","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,23]]},"DOI":"10.1109\/icra46639.2022.9811980","type":"proceedings-article","created":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T19:36:40Z","timestamp":1657654600000},"page":"4347-4354","source":"Crossref","is-referenced-by-count":3,"title":["Planning via model checking with decision-tree controllers"],"prefix":"10.1109","author":[{"given":"Jonis","family":"Kiesbye","sequence":"first","affiliation":[{"name":"Technical University of Munich,Germany"}]},{"given":"Kush","family":"Grover","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Germany"}]},{"given":"Pranav","family":"Ashok","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Germany"}]},{"given":"Jan","family":"Kretinsky","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Germany"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref38","first-page":"100:1","article-title":"Formal specification and verification of autonomous robotic systems: A survey","volume":"52","author":"luckcuck","year":"2019","journal-title":"ACM Comput Surv"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s11721-013-0079-6"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2011.10.005"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302413"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0197-1"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_11"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696434"},{"key":"ref35","first-page":"4985","article-title":"A stochastically verifiable au-tonomous control architecture with reasoning","author":"izzo","year":"2016","journal-title":"CDC"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-32582-8_7"},{"journal-title":"Design and implementation of the autonomous task planner for a bin-picking robot","year":"2020","author":"khawaja","key":"ref60"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1613\/jair.649"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00031-3"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00374-0"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"STRIPS: A new approach to the application of theorem proving to problem solving","volume":"2","author":"fikes","year":"1971","journal-title":"Artif Intell"},{"journal-title":"Automated Planning Theory and Practice","year":"2004","author":"ghallab","key":"ref1"},{"key":"ref20","first-page":"684","article-title":"Engineering efficient planners with sat","volume":"242","author":"rintanen","year":"2012","journal-title":"Frontiers in Artificial Intelligence and Applications"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6906924"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631224"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-150682"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref50","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","author":"puterman","year":"1994","journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938836"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_22"},{"key":"ref57","article-title":"Supervised au-tonomous interaction in unknown territories - a concept for industrial applications in the near future","author":"wittmann","year":"0","journal-title":"52nd International Symposium on Robotics"},{"key":"ref56","article-title":"Hierarchi-cal motion planning framework for manipulators in human-centered dynamic environments","author":"wittmann","year":"0","journal-title":"2020 29th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN)"},{"journal-title":"C4 5 Programs for Machine Learning","year":"1993","author":"quinlan","key":"ref55"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"ref53","first-page":"125","article-title":"UPPAAL 4.0","author":"behrmann","year":"2006","journal-title":"QEST"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382220"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_10"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008699807402"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30281-8_9"},{"key":"ref13","first-page":"325","author":"frazzoli","year":"2000","journal-title":"A Hybrid Control Archi-tecture for Aggressive Maneuvering of Autonomous Aerial Vehicles"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.852260"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980391"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6906922"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1631\/FITEE.1800514"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-150697"},{"key":"ref19","first-page":"359","author":"kautz","year":"1992","journal-title":"Planning as Satisfiability"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63912-8_81"},{"key":"ref3","first-page":"35","article-title":"The 1998 AI planning systems competition","volume":"21","author":"mcdermott","year":"2000","journal-title":"AI Mag"},{"key":"ref6","first-page":"195","article-title":"Temporal planning as refinement-based model checking","author":"heinz","year":"2019","journal-title":"ICAPS"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v28i1.9037"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"PRISM 4.0: Verifi-cation of probabilistic real-time systems","volume":"6806","author":"kwiatkowska","year":"2011","journal-title":"CAV Ser Lecture Notes in Computer Science"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.11595"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/IROS40897.2019.8968295"},{"key":"ref9","article-title":"Machine learning, International Edition","author":"mitchell","year":"1997","journal-title":"ser McGraw-Hill Series in Computer Science"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2700318"},{"key":"ref45","first-page":"504","article-title":"Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees","year":"2017","journal-title":"ICAPS"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s43154-020-00021-6"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5651046"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89960-2_21"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30281-8_7"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942756"},{"journal-title":"Decision Tree Function Approximation in Reinforcement Learning","year":"1998","author":"pyeatt","key":"ref43"}],"event":{"name":"2022 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2022,5,23]]},"location":"Philadelphia, PA, USA","end":{"date-parts":[[2022,5,27]]}},"container-title":["2022 International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9811522\/9811357\/09811980.pdf?arnumber=9811980","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T23:07:13Z","timestamp":1667516833000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9811980\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,23]]},"references-count":60,"URL":"https:\/\/doi.org\/10.1109\/icra46639.2022.9811980","relation":{},"subject":[],"published":{"date-parts":[[2022,5,23]]}}}