Mathias Déhais
According to our database1,
Mathias Déhais
authored at least 1 paper
in 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Vérification formelle de propriétés de vivacité pour des SMA stochastiques à l'aide de GDT.
Proceedings of the Explicabilité des systèmes multi-agents, 2023