Aplicaciones de la teoría de juegos a la verificación de sistemas tolerantes a fallas

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2023.

Guardado en:

Detalles Bibliográficos
Autor principal:	Putruele, Luciano
Otros Autores:	Castro, Pablo Francisco
Formato:	doctoralThesis
Lenguaje:	Español
Publicado:	2025
Materias:	Verificación de software Teoría de Juegos Tolerancia a fallas Medida Distancia Enmascaramiento Síntesis de controladores Juegos estocásticos Teoría de la computación Algorithmic game theory Algorithmic game theory and mechanism design Theory and algorithms for application domains Theory of computation Software verification Game theory Fault tolerance Measure Distance Masking Controller synthesis Stochastic games
Acceso en línea:	http://hdl.handle.net/11086/554848
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2023.