Kévin Perrot

Explorer l'impact des modes de mise à jour dans les réseaux d'automates booléens.

Cet article parle des défis dans l'analyse des réseaux d'automates et de leurs implications.