Machine Intelligence Research Institute

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.

Byron Spice | 412-268-9068 | bspice@cs.cmu.edu