Mathias Déhais

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Fuzzy Inference System

Top Venues

Publications

Mathias Déhais, Bruno Mermet, Grégory Bonnet
Vérification formelle de propriétés de vivacité pour des SMA stochastiques à l'aide de GDT. JFSMA (2023)