Certified reinforcement learning with logic guidance
From MaRDI portal
Publication:6136089
DOI10.1016/j.artint.2023.103949arXiv1902.00778OpenAlexW2914702425MaRDI QIDQ6136089
Alessandro Abate, Daniel Kroening, Hosein Hasanbeig
Publication date: 28 August 2023
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1902.00778
Markov decision processesautomatacontrol synthesisreinforcement learningformal methodstemporal logicspolicy synthesis
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Markov decision processes with state-dependent discount factors and unbounded rewards/costs
- Quantitative model-checking of controlled discrete-time Markov processes
- Approximation of Markov decision processes with general state space
- Continuous state dynamic programming via nonexpansive approximation
- Differential dynamic logic for hybrid systems
- Risk-sensitive and minimax control of discrete-time, finite-state Markov decision processes
- Discounting the distant future: How much do uncertain rates increase valuations?
- Near-optimal reinforcement learning in polynomial time
- Variable resolution discretization in optimal control
- Multilayer feedforward networks are universal approximators
- \({\mathcal Q}\)-learning
- Deep reinforcement learning with temporal logics
- Automated verification and synthesis of stochastic hybrid systems: a survey
- \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
- Limit deterministic and probabilistic automata for \(\mathrm{LTL}\backslash GU\)
- Complementing semi-deterministic Büchi automata
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
- Statistical Verification of Probabilistic Properties with Unbounded Until
- Optimal Translation of LTL to Limit Deterministic Automata
- Verification of Markov Decision Processes Using Learning Algorithms
- Explorations in Monte Carlo Methods
- Convergence of discretization procedures in dynamic programming
- Analysis of a Numerical Dynamic Programming Algorithm Applied to Economic Models
- Limit-Deterministic Büchi Automata for Linear Temporal Logic
- Safe Exploration of State and Action Spaces in Reinforcement Learning
- Learning-Based Probabilistic LTL Motion Planning With Environment and Motion Uncertainties
- Cost‐efficient numerical algorithm for solving the linear inverse problem of finding a variable magnetization
- StocHy - automated verification and synthesis of stochastic processes
- Deterministic generators and games for Ltl fragments
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
- Model checking of safety properties
- Certified reinforcement learning with logic guidance
