Julia M. B. Braman

Publication Activity (10 Years)

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

Publications

Julia M. B. Braman, Richard M. Murray
Bisimulation conversion and verification procedure for goal-based control systems. Formal Methods Syst. Des. 38 (1) (2011)
Julia M. B. Braman, Richard M. Murray
Safety verification of fault tolerant goal-based control programs with estimation uncertainty. ACC (2008)
Julia M. B. Braman, Richard M. Murray, David A. Wagner
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system. IROS (2007)