Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. Yel, E., Carpenter, T. J., Franco, C. D., Ivanov, R., Kantaros, Y., Lee, I., Weimer, J., & Bezzo, N. IEEE robotics & automation magazine, 2020.
![Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex
Paper bibtex @article{341,
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},
journal = {IEEE robotics & automation magazine},
url = {https://doi.org/10.1109/mra.2020.2981114}
}Downloads: 0
{"_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","journal":"IEEE robotics & automation magazine","url":"https://doi.org/10.1109/mra.2020.2981114","bibtex":"@article{341,\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 journal = {IEEE robotics & automation magazine},\n url = {https://doi.org/10.1109/mra.2020.2981114}\n}\n\n","author_short":["Yel, E.","Carpenter, T. J.","Franco, C. D.","Ivanov, R.","Kantaros, Y.","Lee, I.","Weimer, J.","Bezzo, N."],"key":"341","id":"341","bibbaseid":"yel-carpenter-franco-ivanov-kantaros-lee-weimer-bezzo-assuredruntimemonitoringandplanningtowardverificationofneuralnetworksforsafeautonomousoperations-2020","role":"author","urls":{"Paper":"https://doi.org/10.1109/mra.2020.2981114"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/fFERMKNwKyHLsDPJ3/Link_Lab_Publications.bib","dataSources":["GXL8BuKffZ6XGRvhu","zTwdZBrCqogZ6yMmD","A9Zuq8B85Rd3bHeNs","zq8E4CA9zBjkA2p7P","b7zvHnuSqhTvwNoon","BE493TFz6wWiE9NkC","BT3X3GwZkCpNDfran","6CYcgzsh5rhZhtcXe","wjuM2yjE6FYvwqbTY","DesgNCELw9F4LSokr","WCSuxR2upo4FXxxRm","JSGNr3KwokFPgXiz5","RbCkvcfqfbgtxTyNT","mwAui9iKniQyhTc49","m6hDbtiptxFxNGk8y","Kg2u32BaLYeEZkT9t","YgvS53ZWNjFkrzNS4","PbrtYBE4kqkc5ZtpJ"],"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}