Mathias Déhais

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

Collaborative distances:

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

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