Strong planning under partial observability (Q2457630): Difference between revisions

@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q2769595
@@ Property / cites work: Q2769595 / rank @@
+Normal rank
@@ Property / cites work @@
+Conformant planning via symbolic model checking and heuristic search
+Normal rank
@@ Property / cites work @@
+Q4256521
@@ Property / cites work: Q4256521 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast planning through planning graph analysis
@@ Property / cites work: Fast planning through planning graph analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Conformant planning via heuristic forward search: A new approach
+Normal rank
@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
+Normal rank
@@ Property / cites work @@
+Planning and acting in partially observable stochastic domains
+Normal rank
@@ Property / cites work @@
+Weak, strong, and strong cyclic planning via symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q4527271
@@ Property / cites work: Q4527271 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258591
@@ Property / cites work: Q4258591 / rank @@
+Normal rank
@@ Property / cites work @@
+LAO*: A heuristic search algorithm that finds solutions with loops
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for searching implicit AND/OR graphs with cycles
+Normal rank
@@ Property / cites work @@
+Q4527273
@@ Property / cites work: Q4527273 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning control rules for reactive agents
@@ Property / cites work: Planning control rules for reactive agents / rank @@
+Normal rank
@@ Property / cites work @@
+AND/OR graph heuristic search methods
@@ Property / cites work: AND/OR graph heuristic search methods / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolants and Symbolic Model Checking
@@ Property / cites work: Interpolants and Symbolic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing decision trees through heuristically guided search
+Normal rank
@@ Property / cites work @@
+Q3856120
@@ Property / cites work: Q3856120 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Markov Decision Processes
@@ Property / cites work: The Complexity of Markov Decision Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+The Optimal Control of Partially Observable Markov Processes over the Infinite Horizon: Discounted Costs
+Normal rank
@@ Property / cites work @@
+In defense of PDDL axioms
@@ Property / cites work: In defense of PDDL axioms / rank @@
+Normal rank