A New Approach to creating Clear Safety Arguments.

Richard Hawkins Tim P. Kelly John C. Knight Patrick J. Graydon

Published in: SSS (2011)

Keyphrases

neural network
computer vision
database systems
optimal solution
search algorithm
multi agent systems
computational complexity
argumentation systems
safety critical
safety analysis