Robotic Surgery
Muradore, R., Bresolin, D., Geretti, L., Fiorini, P., Villa, T.
Published in IEEE robotics & automation magazine (01.09.2011)
Published in IEEE robotics & automation magazine (01.09.2011)
Get full text
Journal Article
Open Problems in Verification and Refinement of Autonomous Robotic Systems
Bresolin, D., Di Guglielmo, L., Geretti, L., Muradore, R., Fiorini, P., Villa, T.
Published in 2012 15th Euromicro Conference on Digital System Design (01.09.2012)
Published in 2012 15th Euromicro Conference on Digital System Design (01.09.2012)
Get full text
Conference Proceeding
Correct-by-construction code generation from hybrid automata specification
Bresolin, D., Di Guglielmo, L., Geretti, L., Villa, T.
Published in 2011 7th International Wireless Communications and Mobile Computing Conference (01.07.2011)
Published in 2011 7th International Wireless Communications and Mobile Computing Conference (01.07.2011)
Get full text
Conference Proceeding
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services
Abramo, A., Blanchini, F., Geretti, L., Savorgnan, C.
Published in 2007 American Control Conference (01.07.2007)
Published in 2007 American Control Conference (01.07.2007)
Get full text
Conference Proceeding