Learning−based Compositional Verification for Synchronous Probabilistic Systems

Podrobná bibliografie
Hlavní autoři: Feng, L, Han, T, Kwiatkowska, M, Parker, D
Médium: Conference item
Vydáno: Springer 2011