Weak, strong, and strong cyclic planning via symbolic model checking (Q814470): Difference between revisions

@@ Property / author @@
-Alessandro Cimatti
@@ Property / author: Alessandro Cimatti / rank @@
-Normal rank
@@ Property / author @@
-Marco Pistore
@@ Property / author: Marco Pistore / rank @@
-Normal rank
@@ Property / author @@
-Marco Roveri
@@ Property / author: Marco Roveri / rank @@
-Normal rank
@@ Property / author @@
-Paolo Traverso
@@ Property / author: Paolo Traverso / rank @@
-Normal rank
@@ Property / author @@
+Alessandro Cimatti
@@ Property / author: Alessandro Cimatti / rank @@
+Normal rank
@@ Property / author @@
+Marco Pistore
@@ Property / author: Marco Pistore / rank @@
+Normal rank
@@ Property / author @@
+Marco Roveri
@@ Property / author: Marco Roveri / rank @@
+Normal rank
@@ Property / author @@
+Paolo Traverso
@@ Property / author: Paolo Traverso / 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 @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729082
@@ Property / cites work: Q2729082 / rank @@
+Normal rank
@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+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 @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4818818
@@ Property / cites work: Q4818818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737124
@@ Property / cites work: Q4737124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527271
@@ Property / cites work: Q4527271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action: indeterminacy and ramifications
+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 @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230753
@@ Property / cites work: Q4230753 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771059
@@ Property / cites work: Q2771059 / rank @@
+Normal rank