Formal characterization and efficient verification of a biological robustness property.

Lucia Nasti Roberta Gori Paolo Milazzo

Published in: CoRR (2021)

Keyphrases

formal methods
molecular biology
data sets
face recognition
cost effective
computationally expensive