Game−Based Probabilistic Predicate Abstraction in PRISM

অনুরূপ উপাদানগুলি

• Game−Based Probabilistic Predicate Abstraction in PRISM
  অনুযায়ী: Kattenbelt, M, অন্যান্য
  প্রকাশিত: (2008)
• A Game−based Abstraction−Refinement Framework for Markov Decision Processes
  অনুযায়ী: Kattenbelt, M, অন্যান্য
  প্রকাশিত: (2008)
• A game-based abstraction-refinement framework for Markov decision processes
  অনুযায়ী: Kattenbelt, M, অন্যান্য
  প্রকাশিত: (2010)
• PRISM 4.0: Verification of probabilistic real-time systems
  অনুযায়ী: Kwiatkowska, M, অন্যান্য
  প্রকাশিত: (2011)
• PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
  অনুযায়ী: Kwiatkowska, M, অন্যান্য
  প্রকাশিত: (2020)