{"_id":"gHhtiBQoxDr4oyvjM","bibbaseid":"bresolin-geretti-muradore-fiorini-villa-verificationofroboticsurgerytasksbyreachabilityanalysisacomparisonoftools-2014","author_short":["Bresolin, D.","Geretti, L.","Muradore, R.","Fiorini, P.","Villa, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Verona","author":[{"firstnames":["D."],"propositions":[],"lastnames":["Bresolin"],"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 17th Euromicro Conference on Digital System Design (DSD2014)","date-added":"2014-07-14 16:53:56 +0200","date-modified":"2014-08-27 10:21:44 +0200","month":"August","publisher":"IEEE Comp. Society Press","title":"Verification of robotic surgery tasks by reachability analysis: a comparison of tools","year":"2014","bibtex":"@inproceedings{dsd2014,\n\tAddress = {Verona},\n\tAuthor = {D. Bresolin and L. Geretti and R. Muradore and P. Fiorini and T. Villa},\n\tBooktitle = {Proc. of the 17th Euromicro Conference on Digital System Design (DSD2014)},\n\tDate-Added = {2014-07-14 16:53:56 +0200},\n\tDate-Modified = {2014-08-27 10:21:44 +0200},\n\tMonth = aug,\n\tPublisher = {IEEE Comp. Society Press},\n\tTitle = {Verification of robotic surgery tasks by reachability analysis: a comparison of tools},\n\tYear = {2014}}\n\n","author_short":["Bresolin, D.","Geretti, L.","Muradore, R.","Fiorini, P.","Villa, T."],"key":"dsd2014","id":"dsd2014","bibbaseid":"bresolin-geretti-muradore-fiorini-villa-verificationofroboticsurgerytasksbyreachabilityanalysisacomparisonoftools-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://www.math.unipd.it/~bresolin/papers/biblio-it.bib","dataSources":["S2GkQK7zrj9q2HwGy"],"keywords":[],"search_terms":["verification","robotic","surgery","tasks","reachability","analysis","comparison","tools","bresolin","geretti","muradore","fiorini","villa"],"title":"Verification of robotic surgery tasks by reachability analysis: a comparison of tools","year":2014}