Verification and Refutation of Probabilistic Specifications via Games

類似資料

• Abstraction Framework for Markov Decision Processes and PCTL via Games
  著者:: Kattenbelt, M, 等
  出版事項: (2009)
• Safety verification and refutation by k-invariants and k-induction
  著者:: Brain, M, 等
  出版事項: (2015)
• Game−Based Probabilistic Predicate Abstraction in PRISM
  著者:: Kattenbelt, M, 等
  出版事項: (2008)
• Game−Based Probabilistic Predicate Abstraction in PRISM
  著者:: Kattenbelt, M, 等
  出版事項: (2008)
• A refutation of determinism.
  著者:: Binswanger, Harry
  出版事項: (2009)