%0 Conference Paper %1 conf/ijcai/BozzanoCRT11 %A Bozzano, Marco %A Cimatti, Alessandro %A Roveri, Marco %A Tchaltsev, Andrei %B IJCAI %D 2011 %E Walsh, Toby %I IJCAI/AAAI %K dblp %P 2398-2403 %T A Comprehensive Approach to On-Board Autonomy Verification and Validation. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2011.html#BozzanoCRT11 %@ 978-1-57735-516-8

@inproceedings{conf/ijcai/BozzanoCRT11, added-at = {2021-10-14T00:00:00.000+0200}, author = {Bozzano, Marco and Cimatti, Alessandro and Roveri, Marco and Tchaltsev, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2b2fc04a9f1934473d841d9dca8058242/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2011}, editor = {Walsh, Toby}, ee = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400}, interhash = {b25a56446effce7cb911f8c76660d0a4}, intrahash = {b2fc04a9f1934473d841d9dca8058242}, isbn = {978-1-57735-516-8}, keywords = {dblp}, pages = {2398-2403}, publisher = {IJCAI/AAAI}, timestamp = {2024-04-10T11:32:25.000+0200}, title = {A Comprehensive Approach to On-Board Autonomy Verification and Validation.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2011.html#BozzanoCRT11}, year = 2011 }