Login / Signup
PrIC3: Property Directed Reachability for MDPs.
Kevin Batz
Sebastian Junges
Benjamin Lucien Kaminski
Joost-Pieter Katoen
Christoph Matheja
Philipp Schröer
Published in:
CAV (2) (2020)
Keyphrases
</>
state space
markov decision processes
reinforcement learning
optimal policy
dynamic programming
factored mdps
multistage
markov decision problems
decision theoretic planning
action sets