Ciencias Informáticas SISTEMAS DE EVENTOS DISCRETOS ABSTRACCIONES DE COMPORTAMIENTO DE GRANO GRUESO ACTUALIZACION DINAMICA ADEQUACY CRITERIA ANALISIS ESTATICO API USAGE PROTOCOL APRENDIZAJE POR REFUERZO AUTOMATED PLANNING BLOCKCHAIN BUSINESS PROCESSES COARSE-GRAINED BEHAVIOUR ABSTRACTION CONFORMIDAD DE PROTOCOLOS CONTRATOS INTELIGENTES CONTROL SUPERVISOR CONTROLLER SYNTHESIS CRITERIOS DE ADECUACION DISCRETE EVENT CONTROLLERS DISCRETE EVENT SYSTEMS DYNAMIC UPDATE ENTORNOS NO-DETERMINISTICOS Y PARCIALMENTE OBSERVABLES EXPRESIVIDAD VS. ENTENDIBILIDAD EXPRESSIVENESS VS. UNDERSTAND ABILITY GENERALIZACION GENERALIZATION GUIAS PARA LA VALIDACION HEURISTIC SEARCH HEURISTICAS DE BUSQUEDA MAQUINAS DE ESTADO MODELOS DISEÑADOS PARA LA VALIDACION GUIADA POR HUMANOS