Julia M. B. Braman

According to our database, Julia M. B. Braman authored at least 3 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Bisimulation conversion and verification procedure for goal-based control systems.

Julia M. B. Braman, Richard M. Murray

Formal Methods Syst. Des., 2011

2008

Safety verification of fault tolerant goal-based control programs with estimation uncertainty.

Julia M. B. Braman, Richard M. Murray

Proceedings of the American Control Conference, 2008

2007

Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system.

Julia M. B. Braman, Richard M. Murray, David A. Wagner

Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007