Abstractions for Planning with State-Dependent Action Costs
暂无分享,去创建一个
[1] Andreas Podelski,et al. Boolean and Cartesian Abstraction for Model Checking C Programs , 2001, TACAS.
[2] Patrik Haslum,et al. Optimal Planning with Global Numerical State Constraints , 2014, ICAPS.
[3] Sarma B. K. Vrudhula,et al. Formal Verification Using Edge-Valued Binary Decision Diagrams , 1996, IEEE Trans. Computers.
[4] Thomas Keller,et al. PROST: Probabilistic Planning Based on UCT , 2012, ICAPS.
[5] Jonathan Schaeffer,et al. Pattern Databases , 1998, Comput. Intell..
[6] Jendrik Seipp,et al. Counterexample-Guided Cartesian Abstraction Refinement , 2013, ICAPS.
[7] S. Edelkamp. Planning with Pattern Databases , 2014 .
[8] Andrew S. Miner,et al. Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY , 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.
[9] Maria Fox,et al. PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..
[10] Menkes van den Briel. Fluent Merging : A General Technique to Improve Reachability Heuristics and Factored Planning , 2007 .
[11] Robert C. Holte,et al. Experiments with Automatically Created Memory-Based Heuristics , 2000, SARA.
[12] Thomas Keller,et al. Delete Relaxations for Planning with State-Dependent Action Costs , 2015, SOCS.
[13] Blai Bonet,et al. A Robust and Fast Action Selection Mechanism for Planning , 1997, AAAI/IAAI.
[14] Gianfranco Ciardo,et al. Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths , 2002, FMCAD.
[15] Edmund M. Clarke,et al. Counterexample-guided abstraction refinement , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..