Verification and validation of neural networks for safety-critical applications

Jason Hull, David Ward, Radoslaw R. Zakrzewski. Verification and validation of neural networks for safety-critical applications. In American Control Conference, ACC 2002, Anchorage, Alaska, USA, May 8-10 2002. pages 4789-4794, IEEE, 2002. [doi]

@inproceedings{HullWZ02,
  title = {Verification and validation of neural networks for safety-critical applications},
  author = {Jason Hull and David Ward and Radoslaw R. Zakrzewski},
  year = {2002},
  doi = {10.1109/ACC.2002.1025416},
  url = {http://dx.doi.org/10.1109/ACC.2002.1025416},
  researchr = {https://researchr.org/publication/HullWZ02},
  cites = {0},
  citedby = {0},
  pages = {4789-4794},
  booktitle = {American Control Conference, ACC 2002, Anchorage, Alaska, USA, May 8-10 2002},
  publisher = {IEEE},
  isbn = {0-7803-7298-0},
}