Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2017.09.011
@@ Property / DOI: 10.1016/j.ic.2017.09.011 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+VerICS
@@ Property / describes a project that uses: VerICS / 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 @@
+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.1016/j.ic.2017.09.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2754427045
@@ Property / OpenAlex ID: W2754427045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic interpreted systems
@@ Property / cites work: Deontic interpreted systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746875
@@ Property / cites work: Q3746875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461756
@@ Property / cites work: Q4461756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5506377
@@ Property / cites work: Q5506377 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / 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 @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908844
@@ Property / cites work: Q2908844 / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy logic
@@ Property / cites work: Strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+A note on cake cutting
@@ Property / cites work: A note on cake cutting / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Model Checking Logics of Strategic Ability: Complexity*
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Substructures and Games
@@ Property / cites work: Reasoning About Substructures and Games / rank @@
+Normal rank
@@ Property / cites work @@
+On the Boundary of Behavioral Strategies
@@ Property / cites work: On the Boundary of Behavioral Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+Q2844045
@@ Property / cites work: Q2844045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908843
@@ Property / cites work: Q2908843 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2017.09.011
@@ Property / DOI: 10.1016/J.IC.2017.09.011 / rank @@
+Normal rank