Automatic verification of competitive stochastic systems

<p>In this thesis we present a framework for automatic formal analysis of competitive stochastic systems, such as sensor networks, decentralised resource management schemes or distributed user-centric environments. We model such systems as stochastic multi-player games, which are turn-based mo...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur: Simaitis, A
Awduron Eraill: Kwiatkowska, M
Fformat: Traethawd Ymchwil
Iaith:English
Cyhoeddwyd: 2014
Pynciau: