The Machine Intelligence Research Institute has published a Q&A with Andre Platzer, assistant professor of computer science, regarding his working on verification of cyber-physical systems, including the use of verification to find subtle errors in surgical robots.