A Game Theoretic Approach to the Analysis of Dynamic Networks |
| |
Authors: | Frank G Radmacher Wolfgang Thomas |
| |
Affiliation: | aRWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen, Germany |
| |
Abstract: | A model of dynamic networks is introduced which incorporates three kinds of network changes: deletion of nodes (by faults or sabotage), restoration of nodes (by actions of “repair”), and creation of nodes (by actions that extend the network). The antagonism between the operations of deletion and restoration resp. creation is modelled by a game between the two agents “Destructor” and “Constructor”. In this framework of dynamic model-checking, we consider as specifications (“winning conditions” for Constructor) elementary requirements on connectivity of those networks which are reachable from some initial given network. We show some basic results on the (un-)decidability and hardness of dynamic model-checking problems. |
| |
Keywords: | adaptive systems dynamic networks dynamic graph problems model-checking game theory |
本文献已被 ScienceDirect 等数据库收录! |