Specification and Verification of Multi-Agent Systems (Q3166991): Difference between revisions

@@ Property / describes a project that uses @@
+Moise+
@@ Property / describes a project that uses: Moise+ / 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 @@
+Verics
@@ Property / describes a project that uses: Verics / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SLAM
@@ Property / describes a project that uses: SLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MCMAS
@@ Property / describes a project that uses: MCMAS / 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-31485-8_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1560985252
@@ Property / OpenAlex ID: W1560985252 / rank @@
+Normal rank
@@ Property / cites work @@
+Action and knowledge in alternating-time temporal logic
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the menbership problem for functional and multivalued dependencies in relational databases
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Logics of Strategic Ability: Complexity*
+Normal rank
@@ Property / cites work @@
+Q5192925
@@ Property / cites work: Q5192925 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal properties of rational play
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Intention is choice with commitment
@@ Property / cites work: Intention is choice with commitment / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking discounted temporal properties
@@ Property / cites work: Model checking discounted temporal properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417931
@@ Property / cites work: Q4417931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3172532
@@ Property / cites work: Q3172532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities for model checking: Branching time logic strikes back
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing Temporal Logics: Tools for Execution and Proof
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+Parity, circuits, and the polynomial-time hierarchy
+Normal rank
@@ Property / cites work @@
+Complete axiomatization and decidability of alternating-time temporal logic
+Normal rank
@@ Property / cites work @@
+An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4460679
@@ Property / cites work: Q4460679 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738471
@@ Property / cites work: Q4738471 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+Easy Yet Hard: Model Checking Strategies of Agents
+Normal rank
@@ Property / cites work @@
+Constructive knowledge: what agents can achieve under imperfect information
+Normal rank
@@ Property / cites work @@
+Model checking abilities of agents: a closer look
@@ Property / cites work: Model checking abilities of agents: a closer look / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681371
@@ Property / cites work: Q4681371 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486061
@@ Property / cites work: Q5486061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681373
@@ Property / cites work: Q4681373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5506377
@@ Property / cites work: Q5506377 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+On the Expressiveness and Complexity of ATL
@@ Property / cites work: On the Expressiveness and Complexity of ATL / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771058
@@ Property / cites work: Q2771058 / rank @@
+Normal rank
@@ Property / cites work @@
+Essentials of Game Theory: A Concise Multidisciplinary Introduction
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461756
@@ Property / cites work: Q4461756 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in verification of time Petri nets and timed automata. A temporal logic approach.
+Normal rank
@@ Property / cites work @@
+Lower bounds for multiplayer noncooperative games of incomplete information
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028821
@@ Property / cites work: Q4028821 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844043
@@ Property / cites work: Q2844043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486072
@@ Property / cites work: Q5486072 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Modal and temporal properties of processes
@@ Property / cites work: Modal and temporal properties of processes / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4433624
@@ Property / cites work: Q4433624 / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Q4501688
@@ Property / cites work: Q4501688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848071
@@ Property / cites work: Q2848071 / rank @@
+Normal rank