David W. Renshaw

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Control Algorithm

Top Venues

Publications

Sarah M. Loos, David W. Renshaw, André Platzer
Formal verification of distributed aircraft controllers. HSCC (2013)
Yanni Kouskoulas, David W. Renshaw, André Platzer, Peter Kazanzides
Certifying the safe design of a virtual fixture control algorithm for a surgical robot. HSCC (2013)
David W. Renshaw, Sarah M. Loos, André Platzer
Distributed Theorem Proving for Distributed Hybrid Systems. ICFEM (2011)