Comment les échecs de preuve peuvent aider à la correction de spécifications erronées de Systèmes Multi-Agents - Archive ouverte HAL
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
Equipe MAD - Laboratoire GREYC - UMR6072
Gaële Simon
Equipe MAD - Laboratoire GREYC - UMR6072

Domaines

Intelligence artificielle [cs.AI] Système multi-agents [cs.MA]
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)

Mad Greyc  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03788977

Soumis le : jeudi 29 septembre 2022-13:33:46

Dernière modification le : mercredi 20 mars 2024-16:20:04

Archivage à long terme le : vendredi 30 décembre 2022-18:04:37

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS GREYC GREYC-MAD COMUE-NORMANDIE ENSICAEN UNICAEN JFSMA
80 Consultations
33 Téléchargements

Partager

More