Deep reinforcement learning with temporal logics
DOI10.1007/978-3-030-57628-8_1zbMATH Open1455.68190OpenAlexW3080598349MaRDI QIDQ1996007FDOQ1996007
Authors: Mohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate 
Publication date: 2 March 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-57628-8_1
Recommendations
- Deep Reinforcement Learning
- Deep reinforcement learning. Frontiers of artificial intelligence
- Deep reinforcement learning. Fundamentals, research and applications
- Certified reinforcement learning with logic guidance
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
deep learninglinear temporal logiccontinuous-action Markov decision processescontinuous-state Markov decision processesmodel-free reinforcement learning
Artificial neural networks and deep learning (68T07) Automata and formal grammars in connection with logical questions (03D05) Logic in artificial intelligence (68T27) Temporal logic (03B44)
Cites Work
- \({\mathcal Q}\)-learning
- Title not available (Why is that?)
- Stochastic optimal control. The discrete time case
- Title not available (Why is that?)
- Reinforcement learning. An introduction
- Discounting the distant future: How much do uncertain rates increase valuations?
- Approximate model checking of stochastic hybrid systems
- Markov decision processes with state-dependent discount factors and unbounded rewards/costs
- Near-optimal reinforcement learning in polynomial time
- Deep reinforcement learning with temporal logics
- Verification of Markov decision processes using learning algorithms
- Omega-Regular Objectives in Model-Free Reinforcement Learning
- Limit-deterministic Büchi automata for linear temporal logic
- Verifiably Safe Off-Model Reinforcement Learning
Cited In (22)
- Enforcing almost-sure reachability in POMDPs
- Regular decision processes
- Learning that grid-convenience does not hurt resilience in the presence of uncertainty
- Probabilistic reach-avoid for Bayesian neural networks
- Specification-guided reinforcement learning
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
- DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version
- Deep reinforcement learning with temporal logics
- Maximum causal entropy specification inference from demonstrations
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Reward machines: exploiting reward function structure in reinforcement learning
- Planning for potential: efficient safe reinforcement learning
- Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning
- Verifiably safe exploration for end-to-end reinforcement learning
- Dynamic shielding for reinforcement learning in black-box environments
- Reusable contracts for safe integration of reinforcement learning in hybrid systems
- A framework for transforming specifications in reinforcement learning
- Policy synthesis and reinforcement learning for discounted LTL
- Certified reinforcement learning with logic guidance
- Title not available (Why is that?)
- Probabilistic counterexample guidance for safer reinforcement learning
- Inhomogeneous deep Q-network for time sensitive applications
This page was built for publication: Deep reinforcement learning with temporal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1996007)
