Formal characterization and efficient verification of a biological robustness property.

Lucia Nasti Roberta Gori Paolo Milazzo

Published in: FormaliSE@ICSE (2021)

Keyphrases

formal methods
computationally expensive
formal analysis
real time
artificial intelligence
bayesian networks
search algorithm
multi agent systems
neural network
real world
data mining
web services
expert systems
lightweight
biological systems
biological processes