Open Problems in Verification and Refinement of Autonomous Robotic Systems. Bresolin, D., Di Guglielmo, L., Geretti, L., Muradore, R., Fiorini, P., & Villa, T. In Proc. of the 15th Euromicro Conference on Digital System Design (DSD2012), pages 469–476, Cesme-Izmir, Turchia, September, 2012. IEEE Comp. Society Press. bibtex @inproceedings{dsd2012,
Address = {Cesme-Izmir, Turchia},
Author = {D. Bresolin and L. {Di Guglielmo} and L. Geretti and R. Muradore and P. Fiorini and T. Villa},
Booktitle = {Proc. of the 15th Euromicro Conference on Digital System Design (DSD2012)},
Date-Added = {2012-07-02 19:43:22 +0200},
Date-Modified = {2014-08-27 13:37:05 +0200},
Fpage = {469},
Gcited = {2},
Lpage = {476},
Month = sep,
Numpages = {4},
Pages = {469--476},
Publisher = {IEEE Comp. Society Press},
Scited = {2},
Title = {Open Problems in Verification and Refinement of Autonomous Robotic Systems},
Year = {2012}}
Downloads: 0
{"_id":"RRhAcwAqJQSKN6opj","bibbaseid":"bresolin-diguglielmo-geretti-muradore-fiorini-villa-openproblemsinverificationandrefinementofautonomousroboticsystems-2012","author_short":["Bresolin, D.","Di Guglielmo, L.","Geretti, L.","Muradore, R.","Fiorini, P.","Villa, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Cesme-Izmir, Turchia","author":[{"firstnames":["D."],"propositions":[],"lastnames":["Bresolin"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Di Guglielmo"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Geretti"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Muradore"],"suffixes":[]},{"firstnames":["P."],"propositions":[],"lastnames":["Fiorini"],"suffixes":[]},{"firstnames":["T."],"propositions":[],"lastnames":["Villa"],"suffixes":[]}],"booktitle":"Proc. of the 15th Euromicro Conference on Digital System Design (DSD2012)","date-added":"2012-07-02 19:43:22 +0200","date-modified":"2014-08-27 13:37:05 +0200","fpage":"469","gcited":"2","lpage":"476","month":"September","numpages":"4","pages":"469–476","publisher":"IEEE Comp. Society Press","scited":"2","title":"Open Problems in Verification and Refinement of Autonomous Robotic Systems","year":"2012","bibtex":"@inproceedings{dsd2012,\n\tAddress = {Cesme-Izmir, Turchia},\n\tAuthor = {D. Bresolin and L. {Di Guglielmo} and L. Geretti and R. Muradore and P. Fiorini and T. Villa},\n\tBooktitle = {Proc. of the 15th Euromicro Conference on Digital System Design (DSD2012)},\n\tDate-Added = {2012-07-02 19:43:22 +0200},\n\tDate-Modified = {2014-08-27 13:37:05 +0200},\n\tFpage = {469},\n\tGcited = {2},\n\tLpage = {476},\n\tMonth = sep,\n\tNumpages = {4},\n\tPages = {469--476},\n\tPublisher = {IEEE Comp. Society Press},\n\tScited = {2},\n\tTitle = {Open Problems in Verification and Refinement of Autonomous Robotic Systems},\n\tYear = {2012}}\n\n","author_short":["Bresolin, D.","Di Guglielmo, L.","Geretti, L.","Muradore, R.","Fiorini, P.","Villa, T."],"key":"dsd2012","id":"dsd2012","bibbaseid":"bresolin-diguglielmo-geretti-muradore-fiorini-villa-openproblemsinverificationandrefinementofautonomousroboticsystems-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.math.unipd.it/~bresolin/papers/biblio-it.bib","dataSources":["S2GkQK7zrj9q2HwGy"],"keywords":[],"search_terms":["open","problems","verification","refinement","autonomous","robotic","systems","bresolin","di guglielmo","geretti","muradore","fiorini","villa"],"title":"Open Problems in Verification and Refinement of Autonomous Robotic Systems","year":2012}