• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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