Roberto Sebastiani

Un enfoque fresco para asegurar que los sistemas de IA sean confiables y seguros.

Un nuevo método para aplicar diagramas de decisiones a la Satisfacibilidad Módulo Teorías.