Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions (Q3601787): Difference between revisions

@@ 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-540-93920-7_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1863523572
@@ Property / OpenAlex ID: W1863523572 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking on Trees with Path Equivalences
@@ Property / cites work: Model Checking on Trees with Path Equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with 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 @@
+Q5483001
@@ Property / cites work: Q5483001 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing semantics of logics for multi-agent systems
+Normal rank
@@ Property / cites work @@
+Complete axiomatization and decidability of alternating-time temporal logic
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive knowledge: what agents can achieve under imperfect information
+Normal rank
@@ Property / cites work @@
+Q4681371
@@ Property / cites work: Q4681371 / 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 @@
+A hierarchy of temporal logics with past
@@ Property / cites work: A hierarchy of temporal logics with past / rank @@
+Normal rank
@@ Property / cites work @@
+Specification in CTL + past for verification in CTL.
+Normal rank
@@ Property / cites work @@
+An axiomatization of PCTL*
@@ Property / cites work: An axiomatization of PCTL* / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844043
@@ Property / cites work: Q2844043 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite trees and automaton-definable relations over \(\omega\)-words
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:3601787