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

Ejemplares similares

Ejemplares similares