Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games (Q528191): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+A43
@@ Property / Mathematics Subject Classification ID: 91A43 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 91A05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C40
@@ Property / Mathematics Subject Classification ID: 90C40 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6714837
@@ Property / zbMATH DE Number: 6714837 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+two-player quantitative game on graph
@@ Property / zbMATH Keywords: two-player quantitative game on graph / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Markov decision process
@@ Property / zbMATH Keywords: Markov decision process / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+beyond worst-case synthesis
@@ Property / zbMATH Keywords: beyond worst-case synthesis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+worst-case and expected value
@@ Property / zbMATH Keywords: worst-case and expected value / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+mean-payoff
@@ Property / zbMATH Keywords: mean-payoff / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+shortest path
@@ Property / zbMATH Keywords: shortest path / rank @@
+Normal rank

Revision as of 07:10, 1 July 2023