Automatic verification of competitive stochastic systems

Research output: Contribution to journalArticlepeer-review

Standard

Automatic verification of competitive stochastic systems. / Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis.

In: Formal Methods in System Design, Vol. 43, No. 1, 01.08.2013, p. 61-92.

Research output: Contribution to journalArticlepeer-review

Harvard

APA

Vancouver

Author

Chen, Taolue ; Forejt, Vojtěch ; Kwiatkowska, Marta ; Parker, David ; Simaitis, Aistis. / Automatic verification of competitive stochastic systems. In: Formal Methods in System Design. 2013 ; Vol. 43, No. 1. pp. 61-92.

Bibtex

@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",

}

RIS

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

VL - 43

SP - 61

EP - 92

JO - Formal Methods in System Design

JF - Formal Methods in System Design

SN - 0925-9856

IS - 1

ER -