Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems.

Tiziana Margaria, Christian Wagner, Marco Bakera

Browse the full GI paper archive.