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

Julia M. B. Braman, Richard M. Murray, David A. Wagner. Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system. In 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA. pages 853-858, IEEE, 2007. [doi]

@inproceedings{BramanMW07,
  title = {Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system},
  author = {Julia M. B. Braman and Richard M. Murray and David A. Wagner},
  year = {2007},
  doi = {10.1109/IROS.2007.4399230},
  url = {http://dx.doi.org/10.1109/IROS.2007.4399230},
  tags = {control systems, rule-based},
  researchr = {https://researchr.org/publication/BramanMW07},
  cites = {0},
  citedby = {0},
  pages = {853-858},
  booktitle = {2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA},
  publisher = {IEEE},
}