Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic (Q3614879): Difference between revisions

@@ Property / describes a project that uses @@
+MCK
@@ Property / describes a project that uses: MCK / 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/978-3-642-00431-5_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1552474335
@@ Property / OpenAlex ID: W1552474335 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417931
@@ Property / cites work: Q4417931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+A partial order approach to branching time logic model checking.
+Normal rank
@@ Property / cites work @@
+Q4037108
@@ Property / cites work: Q4037108 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Q4681373
@@ Property / cites work: Q4681373 / rank @@
+Normal rank
@@ Property / cites work @@
+Stronger Reduction Criteria for Local First Search
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+A technique of state space search based on unfolding
+Normal rank
@@ Property / cites work @@
+Q3680260
@@ Property / cites work: Q3680260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461756
@@ Property / cites work: Q4461756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4507826
@@ Property / cites work: Q4507826 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Formal theories of knowledge in AI and robotics
@@ Property / cites work: Formal theories of knowledge in AI and robotics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037380
@@ Property / cites work: Q4037380 / rank @@
+Normal rank