Automated Verification of Concurrent Stochastic Games (Q6104811): Difference between revisions

@@ Property / cites work @@
+Concurrent reachability games
@@ Property / cites work: Concurrent reachability games / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative solution of omega-regular games
@@ Property / cites work: Quantitative solution of omega-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy improvement for concurrent reachability and turn-based stochastic safety games
+Normal rank
@@ Property / cites work @@
+A survey of stochastic \(\omega \)-regular games
@@ Property / cites work: A survey of stochastic \(\omega \)-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of competitive stochastic systems
+Normal rank
@@ Property / cites work @@
+Q5528211
@@ Property / cites work: Q5528211 / rank @@
+Normal rank
@@ Property / cites work @@
+The determinacy of Blackwell games
@@ Property / cites work: The determinacy of Blackwell games / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the quantitative μ-calculus             <i>qM</i>             μ
+Normal rank
@@ Property / cites work @@
+Equilibrium points in             <i>n</i>             -person games
@@ Property / cites work: Equilibrium points in <i>n</i> -person games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5844986
@@ Property / cites work: Q5844986 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for stochastic games ? A survey
@@ Property / cites work: Algorithms for stochastic games ? A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative verification and strategy synthesis for stochastic games
+Normal rank
@@ Property / cites work @@
+A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
+Normal rank