Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking (Q2225595): Difference between revisions

@@ Property / author @@
-Valentin F. Goranko
@@ Property / author: Valentin F. Goranko / rank @@
-Normal rank
@@ Property / author @@
+Valentin F. Goranko
@@ Property / author: Valentin F. Goranko / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3013111319
@@ Property / OpenAlex ID: W3013111319 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08405
@@ Property / arXiv ID: 1702.08405 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying agents with memory is harder than it seemed
+Normal rank
@@ Property / cites work @@
+Game-Theoretic Semantics for Alternating-Time Temporal Logic
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic ATL with finitely bounded semantics
+Normal rank
@@ Property / cites work @@
+Q5666510
@@ Property / cites work: Q5666510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726697
@@ Property / cites work: Q5726697 / rank @@
+Normal rank
@@ Property / cites work @@
+From Liveness to Promptness
@@ Property / cites work: From Liveness to Promptness / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary winning in ω-regular games
@@ Property / cites work: Finitary winning in ω-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Positional Determinacy of Games with Infinitely Many Priorities
+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 @@
+Q4992516
@@ Property / cites work: Q4992516 / rank @@
+Normal rank
@@ Property / cites work @@
+ATL with Strategy Contexts and Bounded Memory
@@ Property / cites work: ATL with Strategy Contexts and Bounded Memory / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and fixed point logic: a coalgebraic perspective
+Normal rank
@@ Property / cites work @@
+EXPTIME Tableaux for the Coalgebraic μ-Calculus
@@ Property / cites work: EXPTIME Tableaux for the Coalgebraic μ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+CTL with finitely bounded semantics
@@ Property / cites work: CTL with finitely bounded semantics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2225595