Automatic verification of competitive stochastic systems

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

Research output: Contribution to journal › Article › peer-review

80 Citations (Scopus)

Original language	English
Pages (from-to)	61-92
Journal	Formal Methods in System Design
Volume	43
Issue number	1
DOIs	https://doi.org/10.1007/s10703-013-0183-7
Publication status	Published - 1 Aug 2013

Access to Document

@article{087cdb5ca44b41589bca6ad7580868c2,

title = "Automatic verification of competitive stochastic systems",

author = "Taolue Chen and Vojt{\v e}ch Forejt and Marta Kwiatkowska and David Parker and Aistis Simaitis",

year = "2013",

month = aug,

day = "1",

doi = "10.1007/s10703-013-0183-7",

language = "English",

volume = "43",

pages = "61--92",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Automatic verification of competitive stochastic systems

AU - Chen, Taolue

AU - Forejt, Vojtěch

AU - Kwiatkowska, Marta

AU - Parker, David

AU - Simaitis, Aistis

PY - 2013/8/1

Y1 - 2013/8/1

U2 - 10.1007/s10703-013-0183-7

DO - 10.1007/s10703-013-0183-7

M3 - Article

SN - 0925-9856

VL - 43

SP - 61

EP - 92

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 1

ER -