Learning-based compositional verification for synchronous probabilistic systems

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

Research output: Book/ReportBook

Original languageUndefined/Unknown
DOIs
Publication statusPublished - 2011

Cite this