Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria

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

Guardado en:

Detalles Bibliográficos
Autor principal:	Feltes, Joaquín Ignacio
Otros Autores:	D'Argenio, Pedro Ruben
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2024
Materias:	Teoría de la computación Lógica Verificación de modelos Juego estocástico Multiobjetivo Alcanzabilidad Recompensas totales Theory of computation Logic Verification by model checking Reachability
Acceso en línea:	http://hdl.handle.net/11086/552052
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

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