Deep reinforcement learning with temporal logics
type: Item
instance of: scholarly article
title: Deep reinforcement learning with temporal logics
zbMATH Open document ID: 1455.68190
DOI: 10.1007/978-3-030-57628-8_1
author: Mohammadhosein Hasanbeig
author: Daniel Kroening
author: Alessandro Abate
publication date: 2021-03-02T00:00:00Z
Mathematics Subject Classification ID: 68T07
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7317087
zbMATH Keywords: model-free reinforcement learning
zbMATH Keywords: deep learning
zbMATH Keywords: linear temporal logic
zbMATH Keywords: continuous-state Markov decision processes
zbMATH Keywords: continuous-action Markov decision processes
MaRDI profile type: Publication
full work available at URL: 978-3-030-57628-8 1
OpenAlex ID: W3080598349
cites work: Approximate model checking of stochastic hybrid systems
cites work: Q5322945
cites work: Stochastic optimal control. The discrete time case
cites work: Q4257216
cites work: Verification of Markov Decision Processes Using Learning Algorithms
cites work: Verifiably Safe Off-Model Reinforcement Learning
cites work: Omega-Regular Objectives in Model-Free Reinforcement Learning
cites work: Near-optimal reinforcement learning in polynomial time
cites work: Discounting the distant future: How much do uncertain rates increase valuations?
cites work: Limit-Deterministic Büchi Automata for Linear Temporal Logic
cites work: Q4626283
cites work: \({\mathcal Q}\)-learning
cites work: Markov decision processes with state-dependent discount factors and unbounded rewards/costs
Recommended article: Deep Reinforcement Learning
Recommended article: Certified reinforcement learning with logic guidance
Recommended article: Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
description: scientific article; zbMATH DE number 7317087