1 January 2013

The conference paper “Static analysis techniques for robotics software verification”, by Cortesi, A., Ferrara, P., Chaki, N., has just been published in “2013 44th International Symposium on Robotics, ISR 2013”! Available here.