We stand with Ukraine  

Mathias Déhais

According to our database1, Mathias Déhais authored at least 4 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Un mοdèle de vérificatiοn fοrmelle de systèmes multi-agents stοchastiques et dynamiques. (A formal verification model for stochastic and dynamic multi-agent systems).
[BibTeX]
[DOI]
Mathias Déhais
PhD thesis, 2025

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.
[BibTeX]
[DOI]
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.
[BibTeX]
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.
[BibTeX]
Mathias Déhais
,
Bruno Mermet
,
Grégory Bonnet
Proceedings of the Explicabilité des systèmes multi-agents, 2023


  Loading...