Algorithmic game theory 1 Algorithmic game theory and mechanism design Controller synthesis 1 Distance 1 Distancia 1 Enmascaramiento 1 Fault tolerance 1 Game theory 1 Juegos estocásticos 1 Masking 1 Measure 1 Medida 1 Software verification 1 Stochastic games 1 Síntesis de controladores 1 Teoría de Juegos 1 Teoría de la computación 1 Theory and algorithms for application domains 1 Theory of computation 1 Tolerancia a fallas 1 Verificación de software 1