@article{349,
  author = {Esen Yel and Taylor J. Carpenter and Carmelo Di Franco and Radoslav Ivanov and Yiannis Kantaros and Insup Lee and James Weimer and Nicola Bezzo},
  title = {Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations},
  year = {2020}
}

{"_id":"oARanmcQNgBJwBWL2","bibbaseid":"yel-carpenter-franco-ivanov-kantaros-lee-weimer-bezzo-assuredruntimemonitoringandplanningtowardverificationofneuralnetworksforsafeautonomousoperations-2020","author_short":["Yel, E.","Carpenter, T. J.","Franco, C. D.","Ivanov, R.","Kantaros, Y.","Lee, I.","Weimer, J.","Bezzo, N."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Esen"],"propositions":[],"lastnames":["Yel"],"suffixes":[]},{"firstnames":["Taylor","J."],"propositions":[],"lastnames":["Carpenter"],"suffixes":[]},{"firstnames":["Carmelo","Di"],"propositions":[],"lastnames":["Franco"],"suffixes":[]},{"firstnames":["Radoslav"],"propositions":[],"lastnames":["Ivanov"],"suffixes":[]},{"firstnames":["Yiannis"],"propositions":[],"lastnames":["Kantaros"],"suffixes":[]},{"firstnames":["Insup"],"propositions":[],"lastnames":["Lee"],"suffixes":[]},{"firstnames":["James"],"propositions":[],"lastnames":["Weimer"],"suffixes":[]},{"firstnames":["Nicola"],"propositions":[],"lastnames":["Bezzo"],"suffixes":[]}],"title":"Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations","year":"2020","bibtex":"@article{349,\n author = {Esen Yel and Taylor J. Carpenter and Carmelo Di Franco and Radoslav Ivanov and Yiannis Kantaros and Insup Lee and James Weimer and Nicola Bezzo},\n title = {Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations},\n year = {2020}\n}\n\n","author_short":["Yel, E.","Carpenter, T. J.","Franco, C. D.","Ivanov, R.","Kantaros, Y.","Lee, I.","Weimer, J.","Bezzo, N."],"key":"349","id":"349","bibbaseid":"yel-carpenter-franco-ivanov-kantaros-lee-weimer-bezzo-assuredruntimemonitoringandplanningtowardverificationofneuralnetworksforsafeautonomousoperations-2020","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/QuW9NyeKMp6Cj3mam/Link_Lab_Publications.bib","dataSources":["GXL8BuKffZ6XGRvhu","zTwdZBrCqogZ6yMmD","A9Zuq8B85Rd3bHeNs","zq8E4CA9zBjkA2p7P","b7zvHnuSqhTvwNoon","BE493TFz6wWiE9NkC","BT3X3GwZkCpNDfran","6CYcgzsh5rhZhtcXe","wjuM2yjE6FYvwqbTY","DesgNCELw9F4LSokr","WCSuxR2upo4FXxxRm","JSGNr3KwokFPgXiz5","RbCkvcfqfbgtxTyNT","mwAui9iKniQyhTc49","m6hDbtiptxFxNGk8y","Kg2u32BaLYeEZkT9t"],"keywords":[],"search_terms":["assured","runtime","monitoring","planning","toward","verification","neural","networks","safe","autonomous","operations","yel","carpenter","franco","ivanov","kantaros","lee","weimer","bezzo"],"title":"Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations","year":2020}