Formal Analysis of Robustness at Model and Code Level.

Timothy E. Wang Pierre-Loïc Garoche Pierre Roux Romain Jobredeaux Eric Feron

Published in: HSCC (2016)

Keyphrases

formal analysis
mathematical model
neural network
probabilistic model
artificial intelligence
computational model
data sets
agent model
prior knowledge
probability distribution
source code
statistical model
metamodel