Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
From MaRDI portal
Publication:5009420
DOI10.4230/LIPIcs.CONCUR.2018.8OpenAlexW2963204502MaRDI QIDQ5009420
Jan Křetínský, Guillermo A. Pérez, Jean-François Raskin
Publication date: 4 August 2021
Full work available at URL: https://arxiv.org/abs/1804.08924
Related Items (3)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17--20, 2016. Proceedings
- First-cycle games
- 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
- Shortest paths without a map
- Continuity of the value of competitive Markov decision processes
- \({\mathcal Q}\)-learning
- Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22--26, 2011. Proceedings
- Concurrent games with tail objectives
- Robustness of Structurally Equivalent Concurrent Parity Games
- Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
- Verification of Markov Decision Processes Using Learning Algorithms
- On Time with Minimal Expected Cost!
- Pure Stationary Optimal Strategies in Markov Decision Processes
- Markov Chains
- On the synthesis of strategies in infinite games
- Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
- Permissive strategies: from parity games to safety games
- Deciding parity games in quasipolynomial time
- Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
This page was built for publication: Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
