Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems (Q2945619): Difference between revisions

@@ Property / cites work @@
+Q4804893
@@ Property / cites work: Q4804893 / rank @@
+Normal rank
@@ Property / cites work @@
+Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
+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 @@
+Q4414397
@@ Property / cites work: Q4414397 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying a Hotel Key Card System
@@ Property / cites work: Verifying a Hotel Key Card System / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of HOL4
@@ Property / cites work: A Brief Overview of HOL4 / rank @@
+Normal rank