RAM Special Issue on Formal Methods for Robotics and Automation

2010 IEEE robotics & automation magazine  
doi:10.1109/mra.2010.938856 fatcat:mv2qqzkrkrempiywwmytamhlha