Author of the publication

Formal verification of a collision-free algorithm of dual-arm robot in HOL4.

, , , , , and . ICRA, page 1380-1385. IEEE, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Research on Acquisition Method of Knowledge Element for Emergency Management System., , , , and . Web Intelligence/IAT Workshops, page 74-77. IEEE Computer Society, (2011)978-0-7695-4513-4.Fluorescence Characteristics and Lifetime Images of Photosensitizers of Talaporfin Sodium and Sodium Pheophorbide a in Normal and Cancer Cells., , , , , and . Sensors, 15 (5): 11417-11430 (2015)Influence of Droughts on Mid-Tropospheric CO2., , , , , , , , and . Remote Sensing, 9 (8): 852 (2017)Approximation of Transport Equations by Matrix Equations and Sequential Sampling., and . Monte Carlo Meth. and Appl., 3 (3): 171-198 (1997)Problems and Countermeasures for Disaster Reduction in China's Remote Rural Areas., , , , and . Web Intelligence/IAT Workshops, page 78-81. IEEE Computer Society, (2011)978-0-7695-4513-4.Formal verification of a collision-free algorithm of dual-arm robot in HOL4., , , , , and . ICRA, page 1380-1385. IEEE, (2014)A Hybrid Method to Extract Clinical Information From Chinese Electronic Medical Records., , , , and . IEEE Access, (2019)Quadruped robot's efficiency comprehensive evaluation based on modified projection pursuit., , and . ROBIO, page 2433-2438. IEEE, (2017)A comparative study on electrically evoked responses of retinal ganglion cells in distinct retinal areas by computational model., , , and . NER, page 308-311. IEEE, (2017)A real-time image optimization strategy based on global saliency detection for artificial retinal prostheses., , , , , , , , and . Inf. Sci., (2017)