Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives

DOI10.1007/978-3-030-90870-6_8MaRDI QIDQ6488463zbMATH OpenFDO

Authors Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak

Publication date 21 April 2023

Full work available at URL https://doi.org/10.1007/978-3-030-90870-6_8

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Markov and semi-Markov decision processes (90C40)

Recommendations

• Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives
• Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints
• Stochastic games with lexicographic reachability-safety objectives
• Multi-Objective Model Checking of Markov Decision Processes
• Multi-objective Model Checking of Markov Decision Processes

Cites work

• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives
• Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints
• Markov Decision Processes with Multiple Long-Run Average Objectives
• Markov Decision Processes with Multiple Objectives
• Multi-objective Model Checking of Markov Decision Processes
• Omega-Regular Objectives in Model-Free Reinforcement Learning
• Probabilistic mobile ambients
• Quantitative multi-objective verification for probabilistic systems
• Reinforcement learning. An introduction
• \({\mathcal Q}\)-learning

Cited in

(8)

• Model-free reinforcement learning for branching Markov decision processes
• Omega-Regular Objectives in Model-Free Reinforcement Learning
• A learner-verifier framework for neural network controllers and certificates of stochastic systems
• Multi-objective -regular reinforcement learning
• Composition of stochastic services for LTL\(_f\) goal specifications
• Stochastic games with lexicographic objectives
• Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives
• A framework for transforming specifications in reinforcement learning

This page was built for publication: Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488463)