Specification-Guided Reinforcement Learning

doi:10.1145/3744706

Return

Specification-Guided Reinforcement Learning

2026-02-01

PRE

DOI：10.1145/3744706

Original request for help

Save

Abstract

Journal

Communications of the ACM

IF:

12.2

Papers:

1.2W

Citations:

3.7W

Organization

georgia institute of technology

Scholars:

2.2K

Papers: 1.1K

Citations: 0

University of Pennsylvania

Scholars:

1.2W

Papers: 4.4K

Citations: 11.8W

university system of georgia

Scholars:

7.3W

Papers: 6.6W

Citations: 101

View more organizations

Cited Papers

Omega-Regular Objectives in Model-Free Reinforcement Learning

Lecture Notes in Computer Science

IF0

2019-04-04

OAAI

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

Save

Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning

2020 IEEE International Conference on Robotics and Automation (ICRA)

IF0

2020-05-01

OAAI

Alper Kamil Bozkurt; Yu Wang; Michael M. Zavlanos; Miroslav Pajic

Save

Transfer of Temporal Logic Formulas in Reinforcement Learning

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence

IF0

2019-08-01

OAAI

Zhe Xu; Ufuk Topcu

Save

A Framework for Transforming Specifications in Reinforcement Learning

Lecture Notes in Computer Science

IF0

2022-12-29

PREAI

Rajeev Alur; Suguman Bansal; Osbert Bastani; Kishor Jothimurugan

Save

IF0

PREAI

Save

Reinforcement learning with temporal logic rewards

2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

IF0

2017-09-01

OAAI

Xiao Li; Cristian-Ioan Vasile; Calin Belta

Save

PAC model-free reinforcement learning

Proceedings of the 23rd international conference on Machine learning - ICML '06

IF0

2006-01-01

PREAI

Alexander L. Strehl; Lihong Li; Eric Wiewiora; John Langford; Michael L. Littman

Save

Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints

Robotics: Science and Systems X

IF0

2014-07-12

OAAI

Jie Fu; Ufuk Topcu

Save

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

2019 IEEE 58th Conference on Decision and Control (CDC)

IF0

2019-12-01

OAAI

M. Hasanbeig; Y. Kantaros; A. Abate; D. Kroening; G. J. Pappas; I. Lee

Save

Q-Learning for robust satisfaction of signal temporal logic specifications

2016 IEEE 55th Conference on Decision and Control (CDC)

IF0

2016-12-01

OAAI

Derya Aksaray; Austin Jones; Zhaodan Kong; Mac Schwager; Calin Belta

Save