Automatic Verification of Competitive Stochastic Systems

Geahča maid

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