Symbolic perimeter abstraction heuristics for cost-optimal planning
暂无分享,去创建一个
[1] Jörg Hoffmann,et al. Fast Downward Stone Soup , 2011 .
[2] Malte Helmert,et al. Generalized Label Reduction for Merge-and-Shrink Heuristics , 2014, AAAI.
[3] Peter Kissmann,et al. Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink , 2015, SOCS.
[4] Malte Helmert,et al. Unsolvability Certificates for Classical Planning , 2017, ICAPS.
[5] Carmel Domshlak,et al. Landmarks, Critical Paths and Abstractions: What's the Difference Anyway? , 2009, ICAPS.
[6] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[7] J. Morgan. Landmarks? , 2013 .
[8] Álvaro Torralba Arias de Reyna. Symbolic search and abstraction heuristics for cost-optimal planning in automated planning , 2015 .
[9] Malte Helmert,et al. Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies , 2014, ICAPS.
[10] Blai Bonet,et al. An Admissible Heuristic for SAS+ Planning Obtained from the State Equation , 2013, IJCAI.
[11] Malte Helmert,et al. An Analysis of Merge Strategies for Merge-and-Shrink Heuristics , 2016, ICAPS.
[12] Malte Helmert,et al. MIPS: The Model-Checking Integrated Planning System , 2001, AI Mag..
[13] Jonathan Schaeffer,et al. Pattern Databases , 1998, Comput. Intell..
[14] Jendrik Seipp,et al. From Non-Negative to General Operator Cost Partitioning , 2015, AAAI.
[15] Jörg Hoffmann,et al. How to Relax a Bisimulation? , 2012, ICAPS.
[16] Carmel Domshlak,et al. Enhanced Symmetry Breaking in Cost-Optimal Planning as Forward Search , 2012, ICAPS.
[17] Blai Bonet,et al. Planning as heuristic search , 2001, Artif. Intell..
[18] Malte Helmert,et al. A Planning Heuristic Based on Causal Graph Analysis , 2004, ICAPS.
[19] Patrik Haslum,et al. Flexible Abstraction Heuristics for Optimal Sequential Planning , 2007, ICAPS.
[20] Andreas Junghanns,et al. Perimeter Search Performance , 2002, Computers and Games.
[21] Richard E. Korf,et al. Additive Pattern Database Heuristics , 2004, J. Artif. Intell. Res..
[22] Stefan Edelkamp,et al. On the Complexity of BDDs for State Space Search: A Case Study in Connect Four , 2011, AAAI.
[23] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[24] S. Edelkamp. Planning with Pattern Databases , 2014 .
[25] Jonathan Schaeffer,et al. Partial Pattern Databases , 2007, SARA.
[26] Robert C. Holte,et al. Non-Linear Merging Strategies for Merge-and-Shrink Based on Variable Interactions , 2014, SOCS.
[27] Tsuyoshi Murata,et al. {m , 1934, ACML.
[28] Enrico Macii,et al. Algebric Decision Diagrams and Their Applications , 1997, ICCAD '93.
[29] Hermann Kaindl,et al. Bidirectional Heuristic Search Reconsidered , 1997, J. Artif. Intell. Res..
[30] Erez Karpas,et al. Towards Rational Deployment of Multiple Heuristics in A* (Extended Abstract) , 2013, SOCS.
[31] Álvaro Torralba,et al. Symbolic Merge-and-Shrink for Cost-Optimal Planning , 2013, IJCAI.
[32] Jörg Hoffmann,et al. Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning , 2011, IJCAI.
[33] Carlos Linares López. Multi-valued Pattern Databases , 2008, ECAI.
[34] Santiago Franco,et al. Overcoming the Utility Problem in Heuristic Generation: Why Time Matters , 2014, ICAPS.
[35] Piergiorgio Bertoli,et al. Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking , 2001, IJCAI.
[36] Jörg Hoffmann,et al. Simulation-Based Admissible Dominance Pruning , 2015, IJCAI.
[37] Frank Reffel,et al. OBDDs in Heuristic Search , 1998, KI.
[38] Álvaro Torralba,et al. On Creating Complementary Pattern Databases , 2017, IJCAI.
[39] Stefan Edelkamp,et al. Efficient symbolic search for cost-optimal planning , 2017, Artif. Intell..
[40] Andreas Podelski,et al. Boolean and Cartesian abstraction for model checking C programs , 2001, International Journal on Software Tools for Technology Transfer.
[41] Fabio Somenzi,et al. CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .
[42] Jeffrey S. Rosenschein,et al. Exploiting Problem Symmetries in State-Based Planners , 2011, AAAI.
[43] Stefan Edelkamp,et al. Improving Cost-Optimal Domain-Independent Symbolic Planning , 2011, AAAI.
[44] Edmund M. Clarke,et al. Symbolic model checking for sequential circuit verification , 1993, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[45] Stefan Edelkamp,et al. BDDs Strike Back (in AI Planning) , 2015, AAAI.
[46] Stefan Edelkamp,et al. Limits and Possibilities of BDDs in State Space Search , 2008, AAAI.
[47] Malte Helmert,et al. Factored Symmetries for Merge-and-Shrink Abstractions , 2015, AAAI.
[48] Gianpiero Cabodi,et al. Symbolic FSM traversals based on the transition relation , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[49] Sofia Cassel,et al. Graph-Based Algorithms for Boolean Function Manipulation , 2012 .
[50] Malte Helmert,et al. The Fast Downward Planning System , 2006, J. Artif. Intell. Res..
[51] Jendrik Seipp,et al. Counterexample-Guided Cartesian Abstraction Refinement , 2013, ICAPS.
[52] Stefan Edelkamp,et al. Automated Creation of Pattern Database Search Heuristics , 2007, MoChArt.
[53] Peter C. Nelson,et al. Perimeter Search , 1994, Artif. Intell..
[54] Ariel Felner,et al. Combining Perimeter Search and Pattern Database Abstractions , 2007, SARA.
[55] Craig A. Knoblock. Automatically Generating Abstractions for Planning , 1994, Artif. Intell..
[56] Patrik Haslum,et al. New Admissible Heuristics for Domain-Independent Planning , 2005, AAAI.
[57] Malte Helmert,et al. Stronger Abstraction Heuristics Through Perimeter Search , 2013, ICAPS.
[58] Malte Helmert,et al. On the Expressive Power of Non-Linear Merge-and-Shrink Representations , 2015, ICAPS.
[59] Álvaro Torralba. SymPA : Symbolic Perimeter Abstractions for Proving Unsolvability , 2016 .
[60] Richard E. Korf,et al. Depth-First Iterative-Deepening: An Optimal Admissible Tree Search , 1985, Artif. Intell..
[61] Kenneth L. McMillan,et al. Approximation and decomposition of binary decision diagrams , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
[62] Patrik Haslum,et al. Merge-and-Shrink Abstraction , 2014, J. ACM.
[63] Blai Bonet,et al. Flow-Based Heuristics for Optimal Planning: Landmarks and Merges , 2014, ICAPS.
[64] Stefan Edelkamp,et al. Symbolic Pattern Databases in Heuristic Search Planning , 2002, AIPS.
[65] Christer Bäckström,et al. Planning with Abstraction Hierarchies can be Exponentially Less Efficient , 1995, IJCAI.
[66] Daniel Borrajo,et al. Automatic construction of optimal static sequential portfolios for AI planning and beyond , 2015, Artif. Intell..
[67] R. I. Bahar,et al. Algebraic decision diagrams and their applications , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
[68] Nils J. Nilsson,et al. A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..
[69] Dan Klein,et al. Faster Optimal Planning with Partial-Order Pruning , 2013, ICAPS.
[70] Patrik Haslum,et al. Admissible Heuristics for Optimal Planning , 2000, AIPS.
[71] Stefan Edelkamp,et al. Transition Trees for Cost-Optimal Symbolic Planning , 2013, ICAPS.
[72] Jörg Hoffmann,et al. "Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability , 2014, ECAI.
[73] Bernd Finkbeiner,et al. Directed model checking with distance-preserving abstractions , 2006, International Journal on Software Tools for Technology Transfer.
[74] Giovanni Manzini,et al. BIDA: An Improved Perimeter Search Algorithm , 1995, Artif. Intell..
[75] David Furcy,et al. Multiple Pattern Databases , 2004, ICAPS.
[76] Carmel Domshlak,et al. Optimal admissible composition of abstraction heuristics , 2010, Artif. Intell..
[77] R. BurchJ.,et al. Symbolic model checking , 1992 .
[78] Álvaro Torralba,et al. A Reminder about the Importance of Computing and Exploiting Invariants in Planning , 2015, ICAPS.
[79] Ronen I. Brafman,et al. Strucutre and Complexitiy in Planning with Unary Operators , 2000, PuK.
[80] Stefan Edelkamp,et al. Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction , 2012, ECAI.
[81] Álvaro Torralba,et al. Constrained Symbolic Search: On Mutexes, BDD Minimization and More , 2013, SOCS.
[82] Fausto Giunchiglia,et al. Planning via Model Checking: A Decision Procedure for AR , 1997, ECP.
[83] Patrik Haslum,et al. Domain-Independent Construction of Pattern Database Heuristics for Cost-Optimal Planning , 2007, AAAI.