- -

Listar por palabra clave "Model Checking"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Model Checking"

Ordenar por:Orden:Resultados:

  • thumb
    Análisis y diseño de Sistemas Multiagente Normativos Abiertos 
    Garcia Marques, Mª Emilia; Giret Boggino, Adriana Susana (Sociedad Iberoamericana de Inteligencia Artificial (IBERAMIA), 2014-12)
    [EN] This article summarizes the main contributions of the thesis titled "Engineering Regulated Open Multiagent Systems". This thesis is focused on the analysis and design of normative open systems using multiagent technology. ...
  • thumb
    Formal Analysis of Reddit Network Interactions 
    Padró Ferragut, Cristina (Universitat Politècnica de València, 2021-09-14)
    [EN] With the rise in popularity of social media platforms in the last couple of decades, there is a demand for a more thorough and formal understanding of how these networks operate due to how quickly information is ...