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

@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nitpick
@@ Property / describes a project that uses: Nitpick / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2109274831
@@ Property / OpenAlex ID: W2109274831 / rank @@
+Normal rank
@@ 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