Automatic Verification of Competitive Stochastic Systems

Podobne zapisy

• Automatic Verification of Competitive Stochastic Systems.
  od: Chen, T, i wsp.
  Wydane: (2012)
• Automatic Verification of Competitive Stochastic Systems
  od: Chen, T, i wsp.
  Wydane: (2012)
• Automatic verification of competitive stochastic systems
  od: Simaitis, A
  Wydane: (2014)
• Automatic verification of concurrent stochastic systems
  od: Kwiatkowska, M, i wsp.
  Wydane: (2021)
• On Stochastic Games with Multiple Objectives
  od: Chen, T, i wsp.
  Wydane: (2013)