Learning-based compositional verification for synchronous probabilistic systems

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 - https://www.scopus.com/pages/publications/80054078552

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 -