scientific article; zbMATH DE number 7559459

DOI10.4230/LIPICS.CONCUR.2020.3MaRDI QIDQ5089265zbMATH OpenFDO

Authors Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem

Publication date 18 July 2022

Full work available at URL https://arxiv.org/abs/1807.06096

zbMATH Keywords

Markov decision processmodel checkingformal verificationsafe reinforcement learningsafe exploration

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 1560499 (Why is no real title available?)
• scientific article; zbMATH DE number 7088727 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A comprehensive survey on safe reinforcement learning
• A survey of multi-objective sequential decision-making
• Deep reinforcement learning with temporal logics
• Estimator-based reactive synthesis under incomplete information
• Graph Games and Reactive Synthesis
• Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints
• Path-constrained Markov decision processes: bridging the gap between probabilistic model-checking and decision-theoretic planning
• Permissive controller synthesis for probabilistic systems
• Reinforcement learning. An introduction
• Safety-aware apprenticeship learning
• Shield synthesis
• Shield synthesis: runtime enforcement for reactive systems
• The probabilistic model checking landscape
• Verification of Markov decision processes using learning algorithms
• dtControl

Cited in

(10)

• Lifted model checking for relational MDPs
• Enforcing almost-sure reachability in POMDPs
• Runtime monitors for Markov decision processes
• Safe Exploration of State and Action Spaces in Reinforcement Learning
• A learner-verifier framework for neural network controllers and certificates of stochastic systems
• DSMC evaluation stages: fostering robust and safe behavior in deep reinforcement learning -- extended version
• Risk-aware shielding of partially observable Monte Carlo planning policies
• Dynamic shielding for reinforcement learning in black-box environments
• Safety-constrained reinforcement learning with a distributional safety critic
• Deductive controller synthesis for probabilistic hyperproperties

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089265)