Login / Signup

PrIC3: Property Directed Reachability for MDPs.

Kevin BatzSebastian JungesBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaPhilipp 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