Specification-Guided Reinforcement Learning

doi:10.1145/3744706

2026-02-01

PRE

DOI：10.1145/3744706

原文求助

摘要

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

georgia institute of technology

学者数:

2.2K

论文数: 1.1K

被引数: 0

University of Pennsylvania

学者数:

1.2W

论文数: 4.4K

被引数: 11.8W

university system of georgia

学者数:

7.3W

论文数: 6.6W

被引数: 101

查看更多机构

引用论文

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

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

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

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

IF0

PREAI

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

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

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

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

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

查看更多内容