activity
20182024
most citedProperty-Directed Verification of Recurrent Neural Networks

5 citations · 9 across the 3 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.NI2018★ 1 cited

Performance modelling of access control mechanisms for local and vehicular wireless networks

Paolo Ballarini, Benoit Barbot, Nicolas Vasselin

Carrier sense multiple access collision avoidance (CSMA/CA) is the basic scheme upon which access to the shared medium is regulated in many wireless networks. With CSMA/CA a statio…