Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning
From MaRDI portal
Recommendations
- Deep reinforcement learning with temporal logics
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
- Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent
- Policy iterations for reinforcement learning problems in continuous time and space -- fundamental theory and methods
- Reinforcement learning for a class of continuous-time input constrained optimal control problems
Cited in
(10)- Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent
- On a probabilistic approach to synthesize control policies from example datasets
- Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Temporal logic guided safe model-based reinforcement learning: a hybrid systems approach
- Integrating Policy Iterations in Abstract Interpreters
- A framework for transforming specifications in reinforcement learning
- Policy synthesis and reinforcement learning for discounted LTL
- Average reward reinforcement learning for omega-regular and mean-payoff objectives
- Kernel-based learning of safety barriers
This page was built for publication: Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487919)
