Patricia Arguimbau

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Formal Verification

Traffic Management

Training And Testing Data

Top Venues

Publications

Daniel Bujosa, Sergi Arguimbau, Patricia Arguimbau, Julián Proenza, Manuel Barranco
Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule. ETFA (2019)
Julián Proenza, Yolanda González Cid, Patricia Arguimbau
First exploration of the potential of diverse training and voting for increasing the accuracy of CNNs. ETFA (2019)