@InProceedings{Julian2019dasc,
  author    = {Kyle D. Julian and Mykel J. Kochenderfer},
  title     = {Guaranteeing safety for neural network-based aircraft collision avoidance systems},
  booktitle = dasc,
  year      = {2019},
}

{"_id":"N3PecZm4YX4mNLz4b","bibbaseid":"julian-kochenderfer-guaranteeingsafetyforneuralnetworkbasedaircraftcollisionavoidancesystems-2019","authorIDs":[],"author_short":["Julian, K. D.","Kochenderfer, M. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Kyle","D."],"propositions":[],"lastnames":["Julian"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]}],"title":"Guaranteeing safety for neural network-based aircraft collision avoidance systems","booktitle":"Digital Avionics Systems Conference (DASC)","year":"2019","bibtex":"@InProceedings{Julian2019dasc,\n author = {Kyle D. Julian and Mykel J. Kochenderfer},\n title = {Guaranteeing safety for neural network-based aircraft collision avoidance systems},\n booktitle = dasc,\n year = {2019},\n}\n\n","author_short":["Julian, K. D.","Kochenderfer, M. J."],"key":"Julian2019dasc","id":"Julian2019dasc","bibbaseid":"julian-kochenderfer-guaranteeingsafetyforneuralnetworkbasedaircraftcollisionavoidancesystems-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://aisafety.stanford.edu/bib/all-pubs.bib","creationDate":"2019-07-01T18:33:06.649Z","downloads":0,"keywords":[],"search_terms":["guaranteeing","safety","neural","network","based","aircraft","collision","avoidance","systems","julian","kochenderfer"],"title":"Guaranteeing safety for neural network-based aircraft collision avoidance systems","year":2019,"dataSources":["Q5m4eREZKA5kKSYST","TbX42SDTQr5unfHC4","L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42"]}