@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 # "]"
      }

{"_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"]}