Specification-guided reinforcement learning

DOI10.1007/978-3-031-22308-2_1zbMath1524.68258MaRDI QIDQ6164418

Suguman Bansal

Publication date: 28 July 2023

Published in: Static Analysis (Search for Journal in Brave)

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Near-optimal reinforcement learning in polynomial time
• Deep reinforcement learning with temporal logics
• Model-Free Reinforcement Learning for Stochastic Parity Games
• Omega-Regular Objectives in Model-Free Reinforcement Learning

This page was built for publication: Specification-guided reinforcement learning