Q6134270 (Q6134270): Difference between revisions

@@ Property / DOI @@
+.46298/lmcs-19(4:18)2023
@@ Property / DOI: 10.46298/lmcs-19(4:18)2023 / rank @@
+Normal rank
@@ Property / publication date @@
+January 2024Timestamp +2024-01-16T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2024-01-16T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 16 January 2024 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-XX
@@ Property / Mathematics Subject Classification ID: 68-XX / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7788990
@@ Property / zbMATH DE Number: 7788990 / rank @@
+Normal rank
@@ Property / title @@
+Arena-Independent Finite-Memory Determinacy in Stochastic Games (English)
+Normal rank
@@ Property / published in @@
+Logical Methods in Computer Science
@@ Property / published in: Logical Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+First-cycle games
@@ Property / cites work: First-cycle games / rank @@
+Normal rank
@@ Property / cites work @@
+One-Counter Stochastic Games
@@ Property / cites work: One-Counter Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5141616
@@ Property / cites work: Q5141616 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Exploring the boundary of half-positionality
@@ Property / cites work: Exploring the boundary of half-positionality / rank @@
+Normal rank
@@ Property / cites work @@
+Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
+Normal rank
@@ Property / cites work @@
+Bounding Average-Energy Games
@@ Property / cites work: Bounding Average-Energy Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015274
@@ Property / cites work: Q5015274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875382
@@ Property / cites work: Q5875382 / rank @@
+Normal rank
@@ Property / cites work @@
+Average-energy games
@@ Property / cites work: Average-energy games / rank @@
+Normal rank
@@ Property / cites work @@
+Q6134270
@@ Property / cites work: Q6134270 / rank @@
+Normal rank
@@ Property / cites work @@
+Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Energy parity games
@@ Property / cites work: Energy parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives
+Normal rank
@@ Property / cites work @@
+Randomness for Free
@@ Property / cites work: Randomness for Free / rank @@
+Normal rank
@@ Property / cites work @@
+Playing Safe
@@ Property / cites work: Playing Safe / rank @@
+Normal rank
@@ Property / cites work @@
+Playing Stochastic Games Precisely
@@ Property / cites work: Playing Stochastic Games Precisely / rank @@
+Normal rank
@@ Property / cites work @@
+On Stochastic Games with Multiple Objectives
@@ Property / cites work: On Stochastic Games with Multiple Objectives / rank @@
+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 @@
+The complexity of stochastic Müller games
@@ Property / cites work: The complexity of stochastic Müller games / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Parity Games
@@ Property / cites work: Generalized Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5501249
@@ Property / cites work: Q5501249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5278082
@@ Property / cites work: Q5278082 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic games with lexicographic reachability-safety objectives
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of Qualitative Winning for Stochastic Parity Games
+Normal rank
@@ Property / cites work @@
+Strategy synthesis for multi-dimensional quantitative objectives
+Normal rank
@@ Property / cites work @@
+Simple Strategies in Multi-Objective MDPs
@@ Property / cites work: Simple Strategies in Multi-Objective MDPs / rank @@
+Normal rank
@@ Property / cites work @@
+Probability
@@ Property / cites work: Probability / rank @@
+Normal rank
@@ Property / cites work @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Pure Stationary Optimal Strategies in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Random Fruits on the Zielonka Tree
@@ Property / cites work: Random Fruits on the Zielonka Tree / rank @@
+Normal rank
@@ Property / cites work @@
+Half-Positional Determinacy of Infinite Games
@@ Property / cites work: Half-Positional Determinacy of Infinite Games / rank @@
+Normal rank
@@ Property / cites work @@
+Extending finite-memory determinacy to multi-player games
+Normal rank
@@ Property / cites work @@
+Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753490
@@ Property / cites work: Q3753490 / rank @@
+Normal rank
@@ Property / cites work @@
+Reaching Your Goal Optimally by Playing at Random with No Memory
+Normal rank
@@ Property / cites work @@
+Q5144678
@@ Property / cites work: Q5144678 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
+Normal rank
@@ Property / cites work @@
+Q3512518
@@ Property / cites work: Q3512518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Stochastic Shortest Path Problem
+Normal rank
@@ Property / cites work @@
+Percentile queries in multi-dimensional Markov decision processes
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Church’s Problem and a Tour through Automata Theory
+Normal rank
@@ Property / cites work @@
+The complexity of multi-mean-payoff and multi-energy games
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6134270