Q5013874 (Q5013874): Difference between revisions

@@ Property / author @@
+Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07205
@@ Property / arXiv ID: 1509.07205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994894
@@ Property / cites work: Q4994894 / rank @@
+Normal rank
@@ Property / cites work @@
+Memoryless determinacy of parity and mean payoff games: a simple proof
+Normal rank
@@ Property / cites work @@
+Better Quality in Synthesis through Quantitative Objectives
+Normal rank
@@ Property / cites work @@
+Markov decision processes and stochastic games with total effective payoff
+Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Faster algorithms for mean-payoff games
@@ Property / cites work: Faster algorithms for mean-payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
+Normal rank
@@ Property / cites work @@
+Energy Parity Games
@@ Property / cites work: Energy Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Looking at mean-payoff and total-payoff through windows
+Normal rank
@@ Property / cites work @@
+Quantitative timed simulation functions and refinement metrics for real-time systems
+Normal rank
@@ Property / cites work @@
+Strategy synthesis for multi-dimensional quantitative objectives
+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 @@
+Reachability in Two-Clock Timed Automata Is PSPACE-Complete
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Games through Nested Fixpoints
@@ Property / cites work: Games through Nested Fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Optimal Bounds for Multiweighted and Parametrised Energy Games
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Model Checking Probabilistic Timed Automata with One or Two Clocks
+Normal rank
@@ Property / cites work @@
+A characterization of the minimum cycle mean in a digraph
+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 @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+The bad match; a total reward stochastic game
@@ Property / cites work: The bad match; a total reward stochastic game / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of multi-mean-payoff and multi-energy games
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank