Machine Intelligence Research Institute

BY Byron Spice - Mon, 2014-03-03 09:48  Printer-friendly version

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.

For More Information: 

Byron Spice | 412-268-9068 | bspice [atsymbol] cs.cmu.edu