On satisficing in quantitative games (Q2044188): Difference between revisions

@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Comparator automata in quantitative verification
@@ Property / cites work: Comparator automata in quantitative verification / rank @@
+Normal rank
@@ Property / cites work @@
+Permissive strategies: from parity games to safety games
+Normal rank
@@ Property / cites work @@
+Better Quality in Synthesis through Quantitative Objectives
+Normal rank
@@ Property / cites work @@
+Exact and Approximate Determinization of Discounted-Sum Automata
+Normal rank
@@ Property / cites work @@
+Quantitative fair simulation games
@@ Property / cites work: Quantitative fair simulation games / rank @@
+Normal rank
@@ Property / cites work @@
+Universal graphs and good for games automata: new tools for infinite duration games
+Normal rank
@@ Property / cites work @@
+Model checking quantitative hyperproperties
@@ Property / cites work: Model checking quantitative hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy Iteration Is Strongly Polynomial for 2-Player Turn-Based Stochastic Games with a Constant Discount Factor
+Normal rank
@@ Property / cites work @@
+Q4817542
@@ Property / cites work: Q4817542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3483104
@@ Property / cites work: Q3483104 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal specification for deep neural networks
@@ Property / cites work: Formal specification for deep neural networks / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4626283
@@ Property / cites work: Q4626283 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+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