Policy synthesis and reinforcement learning for discounted LTL

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

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

Publication date: 1 February 2024

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?)
• Title not available (Why is that?)
• 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
• Faster statistical model checking for unbounded temporal properties
• 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

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)