Comment les échecs de preuve peuvent aider à la correction de spécifications erronées de Systèmes Multi-Agents - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03788977 , version 1

Citer

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⟩
47 Consultations
16 Téléchargements

Partager

Gmail Facebook X LinkedIn More