Login / Signup
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