Applications of Neural Networks in High Assurance Systems

By J. Schumann, Yan Liu. 2010

44 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Control and Systems Engineering, Statistics and Probability

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

1. Stuart J. Russell
2. Max Tegmark

In Control and Systems Engineering

1. Stuart J. Russell
2. Max Tegmark
3. Dan Dewey

In Statistics and Probability

1. Stuart J. Russell
2. Max Tegmark
3. Dan Dewey

Citations in the corpus

• Research Priorities for Robust and Beneficial Artificial Intelligence (2015, background): “Some work has been done on verifying neural network applications [35–37] and the notion of partial programs [38, 39] allows the designer to impose arbitrary “structural” constraints on behavior, but much remains to be done before it will be possible to have high confidence that a learning agent will…”
• Challenging SMT solvers to verify neural networks (2012, unknown): “The main reason is the lack of general, automated, yet effective safety assurance methods for neural-based systems, whereas existing mathematical methods require manual effort and ad-hoc arguments to justify safety claims [34].”