Author of the publication

Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications.

, , , and . CoRR, (2018)

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

Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol., , and . IEEE Trans. Contr. Sys. Techn., 26 (5): 1635-1645 (2018)One stone two birds: synchronization relaxation and redundancy removal in GPU-CPU translation., , and . ICS, page 25-36. ACM, (2012)Barrier Certificates for Assured Machine Teaching., , , , and . CoRR, (2018)Human identification using finger vein and ECG signals., , , , , , and . Neurocomputing, (2019)Evaluation of USC Human Tracking System for Surveillance Videos., , , and . CLEAR, volume 4122 of Lecture Notes in Computer Science, page 183-189. Springer, (2006)CLEAR'07 Evaluation of USC Human Tracking System for Surveillance Videos., , , , , and . CLEAR, volume 4625 of Lecture Notes in Computer Science, page 191-196. Springer, (2007)Segmentation and Tracking of Multiple Humans in Crowded Environments., , and . IEEE Trans. Pattern Anal. Mach. Intell., 30 (7): 1198-1211 (2008)Feature Selection Parallel Technique for Remotely Sensed Imagery Classification., , , and . CoRR, (2017)A new packets transmission approach with energy efficiency and low latency in wireless sensor networks., and . SMC, page 3311-3313. IEEE, (2008)Counterexample-Guided Abstraction Refinement for POMDPs., , and . CoRR, (2017)