activity
20192024
most citedModular Grammatical Evolution for the Generation of Artificial Neural Networks

20 citations · 25 across the 6 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.DC2019

Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties

Ali Ebnenasir

This paper investigates the verification and synthesis of parameterized protocols that satisfy leadsto properties on symmetric unidirectional rings (a.k.a. uni-rings…