Easy Yet Hard: Model Checking Strategies of Agents (Q3393378): 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-642-02734-5_1
+Normal rank
@@ Property / OpenAlex ID @@
+W1506774075
@@ Property / OpenAlex ID: W1506774075 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+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 @@
+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 @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+About the expressive power of CTL combinators
@@ Property / cites work: About the expressive power of CTL combinators / rank @@
+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 @@
+Q2844043
@@ Property / cites work: Q2844043 / rank @@
+Normal rank