Learning-based compositional verification for synchronous probabilistic systems

L. Feng, T. Han, M. Kwiatkowska, D. Parker

Research output: Book/Report › Book

Access to Document

TY - BOOK

T1 - Learning-based compositional verification for synchronous probabilistic systems

AU - Feng, L.

AU - Han, T.

AU - Kwiatkowska, M.

AU - Parker, D.

PY - 2011

Y1 - 2011

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80054078552&partnerID=MN8TOARS

U2 - 10.1007/978-3-642-24372-1_40

DO - 10.1007/978-3-642-24372-1_40

M3 - Book

BT - Learning-based compositional verification for synchronous probabilistic systems

ER -