Automated planning as an early verification tool for distributed control (Q2352501): Difference between revisions

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CUDD
@@ Property / describes a project that uses: CUDD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Graphplan
@@ Property / describes a project that uses: Graphplan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PDDL
@@ Property / describes a project that uses: PDDL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LUSTRE
@@ Property / describes a project that uses: LUSTRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LPG
@@ Property / describes a project that uses: LPG / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-014-9313-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2052810900
@@ Property / OpenAlex ID: W2052810900 / 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 @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+Q5715724
@@ Property / cites work: Q5715724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2717791
@@ Property / cites work: Q2717791 / rank @@
+Normal rank
@@ Property / cites work @@
+Macro-operators: A weak method for learning
@@ Property / cites work: Macro-operators: A weak method for learning / rank @@
+Normal rank
@@ Property / cites work @@
+Sokoban: Enhancing general single-agent search methods using domain knowledge
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Q3624014
@@ Property / cites work: Q3624014 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q4818818
@@ Property / cites work: Q4818818 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak, strong, and strong cyclic planning via symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852020
@@ Property / cites work: Q2852020 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying adversarial planning techniques to Go
@@ Property / cites work: Applying adversarial planning techniques to Go / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818667
@@ Property / cites work: Q4818667 / rank @@
+Normal rank
@@ Property / cites work @@
+TALplanner: A temporal logic based forward chaining planner
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Using patterns and plans in chess
@@ Property / cites work: Using patterns and plans in chess / rank @@
+Normal rank
@@ Property / cites work @@
+In defense of PDDL axioms
@@ Property / cites work: In defense of PDDL axioms / rank @@
+Normal rank