Policy synthesis and reinforcement learning for discounted LTL

DOI10.1007/978-3-031-37706-8_21zbMATH Open1547.68402MaRDI QIDQ6535643FDOQ6535643

Authors: Rajeev Alur, Osbert Bastani, Kishor Jothimurugan, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi 

Publication date: 1 February 2024

Recommendations

• Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning
• A framework for transforming specifications in reinforcement learning
• Deep reinforcement learning with temporal logics
• scientific article; zbMATH DE number 7455747
• Specification-guided reinforcement learning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40) Temporal logic (03B44)

Cites Work

• Title not available (Why is that?)
• The complexity of probabilistic verification
• Title not available (Why is that?)
• Reinforcement learning. An introduction
• Discounting in LTL
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Deep reinforcement learning with temporal logics
• Omega-Regular Objectives in Model-Free Reinforcement Learning
• Limit-deterministic Büchi automata for linear temporal logic
• Lazy probabilistic model checking without determinisation
• Title not available (Why is that?)
• Good-for-MDPs automata for probabilistic analysis and reinforcement learning
• Weighted LTL with discounting
• PAC statistical model checking for Markov decision processes and stochastic games
• A framework for transforming specifications in reinforcement learning
• Specification-Guided Learning of Nash Equilibria with High Social Welfare

Cited In (2)

• Specification-guided reinforcement learning
• A framework for transforming specifications in reinforcement learning

This page was built for publication: Policy synthesis and reinforcement learning for discounted LTL

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