Comment les échecs de preuve peuvent aider à la correction de spécifications erronées de Systèmes Multi-Agents - GREYC mad Access content directly
Conference Poster Year : 2022

Comment les échecs de preuve peuvent aider à la correction de spécifications erronées de Systèmes Multi-Agents

B Mermet
Gaële Simon
Fichier principal
Vignette du fichier
posterJFSMA.pdf (1.36 Mo) Télécharger le fichier
resumeLongActes22.pdf (101.89 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03788977 , version 1 (29-09-2022)

Identifiers

  • HAL Id : hal-03788977 , version 1

Cite

B Mermet, Gaële Simon. Comment les échecs de preuve peuvent aider à la correction de spécifications erronées de Systèmes Multi-Agents. JFSMA 2022: 30èmes Journées Francophones sur les Systèmes Multi-Agents, Jun 2022, Saint-Etienne, France. Cépaduès, 2022, JFSMA 2022. SMA et Smart Cities. ⟨hal-03788977⟩
41 View
14 Download

Share

Gmail Facebook X LinkedIn More