Matches in SemOpenAlex for { <https://semopenalex.org/work/W2121041549> ?p ?o ?g. }
- W2121041549 abstract "Automated planning considers selecting and sequencing actions in order to change the state of a discrete system from some initial state to some goal state. This problem is fundamental in a wide range of industrial and academic fields including robotics, automation, embedded systems, and operational research. Planning with non-deterministic actions can be used to model dynamic environments and alternative action behavior. One of the currently best known approaches is to employ reduced ordered Binary Decision Diagrams (BDDs) to represent and generate plans using techniques developed in symbolic model checking. However, the approach is challenged by a frequent blow-up of the BDDs representing the search frontier and a limited number of solution classes. This thesis addresses both of these problems. With respect to the first, it contributes a general framework called state-set branching that seamlessly combines classical heuristic search and BDD-based search. Our experimental results show that the performance of state-set branching often dominates both blind BDD-based search and ordinary heuristic search. In addition, it consistently outperforms any previous approach, we are aware of, to guide a BDD-based search. We show that state-set branching naturally generalizes to non-deterministic planning and introduce heuristically guided versions of the current BDD-based non-deterministic planning algorithms. With respect to the second problem, the thesis introduces two frameworks called fault tolerant planning and adversarial planning . Fault tolerant planning addresses domains where non-determinism is caused by rare errors. The current solution classes handle this situation poorly by taking all fault combinations into account or produce too weak solutions. The thesis contributes a new class of solutions called fault tolerant plans that are robust to a limited number of faults. In addition, it introduces specialized BDD-based algorithms for synthesizing fault tolerant plans. Adversarial planning considers situations where non-determinism is caused by uncontrollable, but known, environment actions. The current solution classes of BDD-based non-deterministic planning assume a “friendly” environment and may never reach a goal state if the environment is hostile and informed. The thesis contributes efficient BDD-based algorithms for synthesizing winning strategies for such problems." @default.
- W2121041549 created "2016-06-24" @default.
- W2121041549 creator A5054408811 @default.
- W2121041549 creator A5084867284 @default.
- W2121041549 creator A5088276691 @default.
- W2121041549 date "2003-01-01" @default.
- W2121041549 modified "2023-09-25" @default.
- W2121041549 title "Efficient bdd-based planning for non-deterministic, fault-tolerant, and adversarial domains" @default.
- W2121041549 cites W128382845 @default.
- W2121041549 cites W133833791 @default.
- W2121041549 cites W143396352 @default.
- W2121041549 cites W146503032 @default.
- W2121041549 cites W146911184 @default.
- W2121041549 cites W1484780672 @default.
- W2121041549 cites W1489563120 @default.
- W2121041549 cites W1490859187 @default.
- W2121041549 cites W1491690797 @default.
- W2121041549 cites W1497390930 @default.
- W2121041549 cites W1498154961 @default.
- W2121041549 cites W1499973835 @default.
- W2121041549 cites W1510598017 @default.
- W2121041549 cites W1514272540 @default.
- W2121041549 cites W1515486073 @default.
- W2121041549 cites W1520136690 @default.
- W2121041549 cites W15206906 @default.
- W2121041549 cites W1527293087 @default.
- W2121041549 cites W1527743161 @default.
- W2121041549 cites W1530444831 @default.
- W2121041549 cites W1536669426 @default.
- W2121041549 cites W1545688112 @default.
- W2121041549 cites W1546948343 @default.
- W2121041549 cites W1548517304 @default.
- W2121041549 cites W1548881297 @default.
- W2121041549 cites W1551256212 @default.
- W2121041549 cites W1554911477 @default.
- W2121041549 cites W1555519929 @default.
- W2121041549 cites W1555936869 @default.
- W2121041549 cites W1558620469 @default.
- W2121041549 cites W1560264589 @default.
- W2121041549 cites W1562347120 @default.
- W2121041549 cites W1564947547 @default.
- W2121041549 cites W1567249951 @default.
- W2121041549 cites W1569051713 @default.
- W2121041549 cites W1572955246 @default.
- W2121041549 cites W1574926888 @default.
- W2121041549 cites W1582564079 @default.
- W2121041549 cites W1585872502 @default.
- W2121041549 cites W1593874889 @default.
- W2121041549 cites W1598960279 @default.
- W2121041549 cites W1599083726 @default.
- W2121041549 cites W1600919542 @default.
- W2121041549 cites W1605189129 @default.
- W2121041549 cites W1608367582 @default.
- W2121041549 cites W161754806 @default.
- W2121041549 cites W1639370926 @default.
- W2121041549 cites W1646038686 @default.
- W2121041549 cites W1652541930 @default.
- W2121041549 cites W1655990431 @default.
- W2121041549 cites W167316145 @default.
- W2121041549 cites W1696263757 @default.
- W2121041549 cites W172877624 @default.
- W2121041549 cites W1731763842 @default.
- W2121041549 cites W1748602292 @default.
- W2121041549 cites W1781384914 @default.
- W2121041549 cites W1822932058 @default.
- W2121041549 cites W1831723388 @default.
- W2121041549 cites W1850752854 @default.
- W2121041549 cites W1878516677 @default.
- W2121041549 cites W19219339 @default.
- W2121041549 cites W1925866415 @default.
- W2121041549 cites W194068206 @default.
- W2121041549 cites W1975112016 @default.
- W2121041549 cites W1979349468 @default.
- W2121041549 cites W1981627423 @default.
- W2121041549 cites W1983019803 @default.
- W2121041549 cites W198382039 @default.
- W2121041549 cites W1984139896 @default.
- W2121041549 cites W1985787415 @default.
- W2121041549 cites W1989481283 @default.
- W2121041549 cites W1992006255 @default.
- W2121041549 cites W1994226409 @default.
- W2121041549 cites W1994451575 @default.
- W2121041549 cites W1995862561 @default.
- W2121041549 cites W2000138546 @default.
- W2121041549 cites W2008212717 @default.
- W2121041549 cites W2019270863 @default.
- W2121041549 cites W2023808162 @default.
- W2121041549 cites W2033657926 @default.
- W2121041549 cites W2035078485 @default.
- W2121041549 cites W2049934619 @default.
- W2121041549 cites W2054726834 @default.
- W2121041549 cites W2056175800 @default.
- W2121041549 cites W2057793938 @default.
- W2121041549 cites W2063367469 @default.
- W2121041549 cites W2076064414 @default.
- W2121041549 cites W2080267935 @default.
- W2121041549 cites W2098524748 @default.
- W2121041549 cites W2098590705 @default.
- W2121041549 cites W2099395647 @default.
- W2121041549 cites W2099802326 @default.