Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (Q5009420): Difference between revisions

@@ label / en / label / en @@
+Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
@@ Property / author @@
+Jean-François Raskin
@@ Property / author: Jean-François Raskin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608660
@@ Property / cites work: Q4608660 / rank @@
+Normal rank
@@ Property / cites work @@
+First-cycle games
@@ Property / cites work: First-cycle games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3083813
@@ Property / cites work: Q3083813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Permissive strategies: from parity games to safety games
+Normal rank
@@ Property / cites work @@
+Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Verification of Markov Decision Processes Using Learning Algorithms
+Normal rank
@@ Property / cites work @@
+Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17--20, 2016. Proceedings
+Normal rank
@@ Property / cites work @@
+Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
+Normal rank
@@ Property / cites work @@
+Deciding parity games in quasipolynomial time
@@ Property / cites work: Deciding parity games in quasipolynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent games with tail objectives
@@ Property / cites work: Concurrent games with tail objectives / rank @@
+Normal rank
@@ Property / cites work @@
+Robustness of Structurally Equivalent Concurrent Parity Games
+Normal rank
@@ Property / cites work @@
+Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22--26, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings
+Normal rank
@@ Property / cites work @@
+On Time with Minimal Expected Cost!
@@ Property / cites work: On Time with Minimal Expected Cost! / rank @@
+Normal rank
@@ Property / cites work @@
+Pure Stationary Optimal Strategies in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Shortest paths without a map
@@ Property / cites work: Shortest paths without a map / rank @@
+Normal rank
@@ Property / cites work @@
+Q5305630
@@ Property / cites work: Q5305630 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity of the value of competitive Markov decision processes
+Normal rank
@@ Property / cites work @@
+Q4626283
@@ Property / cites work: Q4626283 / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank
@@ Property / cites work @@
+\({\mathcal Q}\)-learning
@@ Property / cites work: \({\mathcal Q}\)-learning / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963204502
@@ Property / OpenAlex ID: W2963204502 / rank @@
+Normal rank
@@ Property / title @@
+Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (English)
+Normal rank