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

B Mermet; Gaële Simon

Conference Poster Year : 2022

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

(1) , (1)

1

B Mermet

Function : Author
PersonId : 4947
IdHAL : bruno-mermet
IdRef : 153527617

Equipe MAD - Laboratoire GREYC - UMR6072

Gaële Simon

Function : Author
PersonId : 172993
IdHAL : gaele-simon
IdRef : 160349249

Equipe MAD - Laboratoire GREYC - UMR6072

Keywords

Preuve de théorèmes Aide à la conception de SMA

Domains

Artificial Intelligence [cs.AI] Multiagent Systems [cs.MA]

Fichier principal

posterJFSMA.pdf (1.36 Mo)

resumeLongActes22.pdf (101.89 Ko)

Origin	Files produced by the author(s)

Mad Greyc : Connect in order to contact the contributor

https://hal.science/hal-03788977

Submitted on : Thursday, September 29, 2022-1:33:46 PM

Last modification on : Wednesday, March 20, 2024-4:20:04 PM

Long-term archiving on : Friday, December 30, 2022-6:04:37 PM

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⟩

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

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share