@inproceedings{conf/dsd/BresolinGGMFV12,
  added-at = {2019-02-07T00:00:00.000+0100},
  author = {Bresolin, Davide and Guglielmo, Luigi Di and Geretti, Luca and Muradore, Riccardo and Fiorini, Paolo and Villa, Tiziano},
  biburl = {https://www.bibsonomy.org/bibtex/2aab075ce751948a7f106a18be205a3c8/dblp},
  booktitle = {DSD},
  crossref = {conf/dsd/2012},
  ee = {http://doi.ieeecomputersociety.org/10.1109/DSD.2012.96},
  interhash = {867810b106d569afe749553fb826c8d8},
  intrahash = {aab075ce751948a7f106a18be205a3c8},
  isbn = {978-1-4673-2498-4},
  keywords = {dblp},
  pages = {469-476},
  publisher = {IEEE Computer Society},
  timestamp = {2019-02-08T11:43:33.000+0100},
  title = {Open Problems in Verification and Refinement of Autonomous Robotic Systems.},
  url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2012.html#BresolinGGMFV12},
  year = 2012
}

{"_id":"wGhpHEKdAcQhr64gi","bibbaseid":"bresolin-guglielmo-geretti-muradore-fiorini-villa-openproblemsinverificationandrefinementofautonomousroboticsystems-2012","downloads":0,"creationDate":"2019-04-03T11:57:07.265Z","title":"Open Problems in Verification and Refinement of Autonomous Robotic Systems.","author_short":["Bresolin, D.","Guglielmo, L. D.","Geretti, L.","Muradore, R.","Fiorini, P.","Villa, T."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Davide Bresolin?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-02-07T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Bresolin"],"firstnames":["Davide"],"suffixes":[]},{"propositions":[],"lastnames":["Guglielmo"],"firstnames":["Luigi","Di"],"suffixes":[]},{"propositions":[],"lastnames":["Geretti"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Muradore"],"firstnames":["Riccardo"],"suffixes":[]},{"propositions":[],"lastnames":["Fiorini"],"firstnames":["Paolo"],"suffixes":[]},{"propositions":[],"lastnames":["Villa"],"firstnames":["Tiziano"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2aab075ce751948a7f106a18be205a3c8/dblp","booktitle":"DSD","crossref":"conf/dsd/2012","ee":"http://doi.ieeecomputersociety.org/10.1109/DSD.2012.96","interhash":"867810b106d569afe749553fb826c8d8","intrahash":"aab075ce751948a7f106a18be205a3c8","isbn":"978-1-4673-2498-4","keywords":"dblp","pages":"469-476","publisher":"IEEE Computer Society","timestamp":"2019-02-08T11:43:33.000+0100","title":"Open Problems in Verification and Refinement of Autonomous Robotic Systems.","url":"http://dblp.uni-trier.de/db/conf/dsd/dsd2012.html#BresolinGGMFV12","year":"2012","bibtex":"@inproceedings{conf/dsd/BresolinGGMFV12,\n added-at = {2019-02-07T00:00:00.000+0100},\n author = {Bresolin, Davide and Guglielmo, Luigi Di and Geretti, Luca and Muradore, Riccardo and Fiorini, Paolo and Villa, Tiziano},\n biburl = {https://www.bibsonomy.org/bibtex/2aab075ce751948a7f106a18be205a3c8/dblp},\n booktitle = {DSD},\n crossref = {conf/dsd/2012},\n ee = {http://doi.ieeecomputersociety.org/10.1109/DSD.2012.96},\n interhash = {867810b106d569afe749553fb826c8d8},\n intrahash = {aab075ce751948a7f106a18be205a3c8},\n isbn = {978-1-4673-2498-4},\n keywords = {dblp},\n pages = {469-476},\n publisher = {IEEE Computer Society},\n timestamp = {2019-02-08T11:43:33.000+0100},\n title = {Open Problems in Verification and Refinement of Autonomous Robotic Systems.},\n url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2012.html#BresolinGGMFV12},\n year = 2012\n}\n\n","author_short":["Bresolin, D.","Guglielmo, L. D.","Geretti, L.","Muradore, R.","Fiorini, P.","Villa, T."],"key":"conf/dsd/BresolinGGMFV12","id":"conf/dsd/BresolinGGMFV12","bibbaseid":"bresolin-guglielmo-geretti-muradore-fiorini-villa-openproblemsinverificationandrefinementofautonomousroboticsystems-2012","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/DSD.2012.96","Paper":"http://dblp.uni-trier.de/db/conf/dsd/dsd2012.html#BresolinGGMFV12"},"keyword":["dblp"],"downloads":0,"html":""},"search_terms":["open","problems","verification","refinement","autonomous","robotic","systems","bresolin","guglielmo","geretti","muradore","fiorini","villa"],"keywords":["dblp"],"authorIDs":["5ca49f93d90d1c1000000174"],"dataSources":["buznkhkiysCT2mHWF"]}