Automatic verification of competitive stochastic systems

Research output: Contribution to journalArticlepeer-review

Authors

  • Taolue Chen
  • Vojtěch Forejt
  • Marta Kwiatkowska
  • David Parker
  • Aistis Simaitis

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)61-92
JournalFormal Methods in System Design
Volume43
Issue number1
Publication statusPublished - 1 Aug 2013