Mathias Déhais

According to our database, Mathias Déhais authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Vérification formelle de propriétés de vivacité pour des systèmes multi-agents probabilistes à l'aide d'arbre à décomposition de buts.

Mathias Déhais, Bruno Mermet, Grégory Bonnet

Rev. Ouverte Intell. Artif., 2024

Spécifier et vérifier en GDT4MAS des ensembles dynamiques d'agents.

Mathias Déhais, Bruno Mermet, Grégory Bonnet

Proceedings of the Simulation multi-agents : nouvelles approches, nouveaux enjeux, 2024

2023

Vérification formelle de propriétés de vivacité pour des SMA stochastiques à l'aide de GDT.

Mathias Déhais, Bruno Mermet, Grégory Bonnet

Proceedings of the Explicabilité des systèmes multi-agents, 2023