Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285102556> ?p ?o ?g. }
- W4285102556 abstract "Planning problems can be solved not only by planners, but also by model checkers. While the former yield a plan that requires replanning as soon as any fault occurs, the latter provide a “universal” plan (a.k.a. strategy, policy, or controller) able to make decisions under all circumstances. One of the prohibitive aspects of the latter approach is stemming from this very advantage: since it is defined for all possible states of the system, it is typically so large that it does not fit into small memories of embedded devices. As another consequence of the size, its execution may be slow. In this paper, we provide a solution to this issue by linking the model checkers with decision-tree learners, resulting in decision-tree representations of the synthesized strategies. Not only are they dramatically smaller, but also more explainable and orders-of-magnitude faster to execute than plans with replanning. In addition, we describe a method for model validation and debugging via the model checker and the decision-tree learner in the loop. We illustrate the approach on our case study of a robotic arm for picking items in a real industrial setting." @default.
- W4285102556 created "2022-07-14" @default.
- W4285102556 creator A5002710274 @default.
- W4285102556 creator A5069594696 @default.
- W4285102556 creator A5074485601 @default.
- W4285102556 creator A5080619238 @default.
- W4285102556 date "2022-05-23" @default.
- W4285102556 modified "2023-09-24" @default.
- W4285102556 title "Planning via model checking with decision-tree controllers" @default.
- W4285102556 cites W1527743161 @default.
- W4285102556 cites W1537235959 @default.
- W4285102556 cites W1554774506 @default.
- W4285102556 cites W1639370926 @default.
- W4285102556 cites W1862398452 @default.
- W4285102556 cites W1966698514 @default.
- W4285102556 cites W1984139896 @default.
- W4285102556 cites W1989527597 @default.
- W4285102556 cites W1994451575 @default.
- W4285102556 cites W1994511055 @default.
- W4285102556 cites W2001289891 @default.
- W4285102556 cites W2002956917 @default.
- W4285102556 cites W2009064992 @default.
- W4285102556 cites W2030659368 @default.
- W4285102556 cites W2032587419 @default.
- W4285102556 cites W2037792107 @default.
- W4285102556 cites W2047650874 @default.
- W4285102556 cites W2054382008 @default.
- W4285102556 cites W2056864430 @default.
- W4285102556 cites W2080267935 @default.
- W4285102556 cites W2085513413 @default.
- W4285102556 cites W2115386268 @default.
- W4285102556 cites W2124623089 @default.
- W4285102556 cites W2135639338 @default.
- W4285102556 cites W2141841102 @default.
- W4285102556 cites W2144588269 @default.
- W4285102556 cites W2151958719 @default.
- W4285102556 cites W2153219011 @default.
- W4285102556 cites W2177617373 @default.
- W4285102556 cites W2261108046 @default.
- W4285102556 cites W2334782222 @default.
- W4285102556 cites W2337392266 @default.
- W4285102556 cites W2593267253 @default.
- W4285102556 cites W2752666516 @default.
- W4285102556 cites W2912640545 @default.
- W4285102556 cites W2912694244 @default.
- W4285102556 cites W2954207605 @default.
- W4285102556 cites W2964128311 @default.
- W4285102556 cites W2973339472 @default.
- W4285102556 cites W3003620461 @default.
- W4285102556 cites W3022567966 @default.
- W4285102556 cites W3027039943 @default.
- W4285102556 cites W3088158297 @default.
- W4285102556 cites W4297846652 @default.
- W4285102556 doi "https://doi.org/10.1109/icra46639.2022.9811980" @default.
- W4285102556 hasPublicationYear "2022" @default.
- W4285102556 type Work @default.
- W4285102556 citedByCount "0" @default.
- W4285102556 crossrefType "proceedings-article" @default.
- W4285102556 hasAuthorship W4285102556A5002710274 @default.
- W4285102556 hasAuthorship W4285102556A5069594696 @default.
- W4285102556 hasAuthorship W4285102556A5074485601 @default.
- W4285102556 hasAuthorship W4285102556A5080619238 @default.
- W4285102556 hasConcept C107094494 @default.
- W4285102556 hasConcept C110251889 @default.
- W4285102556 hasConcept C113174947 @default.
- W4285102556 hasConcept C127413603 @default.
- W4285102556 hasConcept C134306372 @default.
- W4285102556 hasConcept C154945302 @default.
- W4285102556 hasConcept C166957645 @default.
- W4285102556 hasConcept C168065819 @default.
- W4285102556 hasConcept C199360897 @default.
- W4285102556 hasConcept C200601418 @default.
- W4285102556 hasConcept C2776505523 @default.
- W4285102556 hasConcept C33923547 @default.
- W4285102556 hasConcept C41008148 @default.
- W4285102556 hasConcept C80444323 @default.
- W4285102556 hasConcept C84525736 @default.
- W4285102556 hasConcept C95457728 @default.
- W4285102556 hasConceptScore W4285102556C107094494 @default.
- W4285102556 hasConceptScore W4285102556C110251889 @default.
- W4285102556 hasConceptScore W4285102556C113174947 @default.
- W4285102556 hasConceptScore W4285102556C127413603 @default.
- W4285102556 hasConceptScore W4285102556C134306372 @default.
- W4285102556 hasConceptScore W4285102556C154945302 @default.
- W4285102556 hasConceptScore W4285102556C166957645 @default.
- W4285102556 hasConceptScore W4285102556C168065819 @default.
- W4285102556 hasConceptScore W4285102556C199360897 @default.
- W4285102556 hasConceptScore W4285102556C200601418 @default.
- W4285102556 hasConceptScore W4285102556C2776505523 @default.
- W4285102556 hasConceptScore W4285102556C33923547 @default.
- W4285102556 hasConceptScore W4285102556C41008148 @default.
- W4285102556 hasConceptScore W4285102556C80444323 @default.
- W4285102556 hasConceptScore W4285102556C84525736 @default.
- W4285102556 hasConceptScore W4285102556C95457728 @default.
- W4285102556 hasFunder F4320321450 @default.
- W4285102556 hasLocation W42851025561 @default.
- W4285102556 hasOpenAccess W4285102556 @default.
- W4285102556 hasPrimaryLocation W42851025561 @default.
- W4285102556 hasRelatedWork W103567565 @default.
- W4285102556 hasRelatedWork W1509050427 @default.