Colección de investigaciones
#trace-comparison
Investigación etiquetada trace-comparison: explicaciones, pruebas, límites y conexiones entre papers.
1 resultados
Por qué algunas infracciones de propósito exigen comparar ejecuciones de agentes
Un análisis formal explica por qué las barreras de una sola acción pasan por alto infracciones de propósito relacional y cómo compararlas entre ejecuciones permite verlas.