Síntesis, Verificación y Razonamiento sobre Agentes Inteligentes

Máster Universitario en Lógica, Computación e Inteligencia Artificial

E. T. S. Ingeniería Informática

Datos básicos
Asignatura optativa de primer curso que se imparte en español.
Tiene asignados 6 créditos ECTS.
Enlaces
Página web de la asignatura: https://www.cs.us.es/cursos/svrai-2024
Coordinación
Durante el curso académico 2024/2025 las labores de coordinación de la asignatura corresponden al departamento y se asumen por:
Fernando Sancho Caparrini
Profesorado
Durante el curso académico 2024/2025 la docencia de la asignatura que corresponde al departamento se imparte por:
Fernando Sancho Caparrini