A Game−based Abstraction−Refinement Framework for Markov Decision Processes

Lignende værker

• A game-based abstraction-refinement framework for Markov decision processes
  af: Kattenbelt, M, et al.
  Udgivet: (2010)
• Abstraction Framework for Markov Decision Processes and PCTL via Games
  af: Kattenbelt, M, et al.
  Udgivet: (2009)
• Game−Based Probabilistic Predicate Abstraction in PRISM
  af: Kattenbelt, M, et al.
  Udgivet: (2008)
• Game−Based Probabilistic Predicate Abstraction in PRISM
  af: Kattenbelt, M, et al.
  Udgivet: (2008)
• Abstraction Refinement for Probabilistic Software
  af: Kwiatkowska, G, et al.
  Udgivet: (2009)