Verifying and Validating Autonomous Systems: an Integrated Approach. In Proc. 8th IEEE International Conference on Runtime Verification (RV), 2018. [ ]bibtex @InProceedings{RV18,
author = {Angelo Ferrando and } # Dennis # { and Davide Ancona and }
# Fisher # { and Viviana Mascardi},
title = "{Verifying and Validating Autonomous Systems: an Integrated Approach}",
booktitle = {Proc. 8th IEEE International Conference on Runtime
Verification (RV)},
year = 2018,
note = "[ " # FAIRSPACE # RAIN # "]"
}
Downloads: 0
{"_id":"NChifoAPdXo5qxcA7","bibbaseid":"anonymous-verifyingandvalidatingautonomoussystemsanintegratedapproach-2018","downloads":0,"creationDate":"2018-10-06T15:22:57.663Z","title":"Verifying and Validating Autonomous Systems: an Integrated Approach","author_short":null,"year":2018,"bibtype":"inproceedings","biburl":"https://autonomy-and-verification-uol.github.io/hubpubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":"[object Object],[object Object][object Object],[object Object],[object Object][object Object],[object Object]","title":"Verifying and Validating Autonomous Systems: an Integrated Approach","booktitle":"Proc. 8th IEEE International Conference on Runtime Verification (RV)","year":"2018","note":"[ ]","bibtex":"@InProceedings{RV18,\n author = {Angelo Ferrando and } # Dennis # { and Davide Ancona and } \n # Fisher # { and Viviana Mascardi},\n title = \"{Verifying and Validating Autonomous Systems: an Integrated Approach}\",\nbooktitle = {Proc. 8th IEEE International Conference on Runtime\n Verification (RV)},\nyear = 2018,\nnote = \"[ \" # FAIRSPACE # RAIN # \"]\"\n }\n\n","key":"RV18","id":"RV18","bibbaseid":"anonymous-verifyingandvalidatingautonomoussystemsanintegratedapproach-2018","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["verifying","validating","autonomous","systems","integrated","approach"],"keywords":[],"authorIDs":[],"dataSources":["FoK8CAiSSBYifiy8q"]}