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...
| Prif Awdur: | |
|---|---|
| Awduron Eraill: | |
| Fformat: | Traethawd Ymchwil |
| Iaith: | English |
| Cyhoeddwyd: |
2014
|
| Pynciau: |