Automatic Verification of Competitive Stochastic Systems

類似資料

• Automatic Verification of Competitive Stochastic Systems.
  著者:: Chen, T, 等
  出版事項: (2012)
• Automatic Verification of Competitive Stochastic Systems
  著者:: Chen, T, 等
  出版事項: (2012)
• Automatic verification of competitive stochastic systems
  著者:: Simaitis, A
  出版事項: (2014)
• Automatic verification of concurrent stochastic systems
  著者:: Kwiatkowska, M, 等
  出版事項: (2021)
• On Stochastic Games with Multiple Objectives
  著者:: Chen, T, 等
  出版事項: (2013)