المؤلفون: Liu, Tsung-Ming, 劉宗銘

مرشدي الرسالة: Zheng, Zhe-Wen, 鄭志文

وصف الملف: 59

الإتاحة: http://ndltd.ncl.edu.tw/handle/4by79eTest

المؤلفون: Shiau, Ming-Yuh, Chuang, Pei-Hua, Yang, Ching-Ping, Hsiao, Chiao-Wan, Chang, Shu-Wen, Chang, Kai-Yun, Liu, Tsung-Ming, Chen, Huan-Wen, Chuang, Cheng-Chieh, Yuan, Sheau-Yun, Chang, Yih-Hsin

المساهمون: Ministry of Science and Technology, Taiwan

المصدر: Scientific Reports ; volume 9, issue 1 ; ISSN 2045-2322

مصطلحات موضوعية: Multidisciplinary

الإتاحة: https://doi.org/10.1038/s41598-019-47908-9Test
https://www.nature.com/articles/s41598-019-47908-9.pdfTest
https://www.nature.com/articles/s41598-019-47908-9Test

المؤلفون: Liu, Tsung-Ming, Lyons, Damian M.

المساهمون: Defense Threat Reduction Agency

المصدر: Robotics and Autonomous Systems ; volume 74, page 66-78 ; ISSN 0921-8890

مصطلحات موضوعية: Computer Science Applications, General Mathematics, Software, Control and Systems Engineering

الإتاحة: https://doi.org/10.1016/j.robot.2015.07.002Test
https://api.elsevier.com/content/article/PII:S0921889015001402?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S0921889015001402?httpAccept=text/plainTest

المؤلفون: Liu, Tsung-Ming

المصدر: Procedia - Social and Behavioral Sciences ; volume 197, page 75-82 ; ISSN 1877-0428

مصطلحات موضوعية: General Materials Science

الإتاحة: https://doi.org/10.1016/j.sbspro.2015.07.055Test
https://api.elsevier.com/content/article/PII:S1877042815040495?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S1877042815040495?httpAccept=text/plainTest

المؤلفون: Lyons, Damian, Arkin, Ron, Nirmal, Paramesh, Jiang, Shu, Liu, Tsung-Ming, Deeb, Julia

المصدر: Faculty Publications

مصطلحات موضوعية: Robotics, Formal Verification, Validation, Behavior-Based, Artificial Intelligence and Robotics, Computer Engineering

وصف الملف: application/pdf

العلاقة: https://research.library.fordham.edu/frcv_facultypubs/62Test; https://research.library.fordham.edu/context/frcv_facultypubs/article/1071/viewcontent/GIRTFT_iros13_v7__finalv1_.pdfTest

الإتاحة: https://research.library.fordham.edu/frcv_facultypubs/62Test
https://research.library.fordham.edu/context/frcv_facultypubs/article/1071/viewcontent/GIRTFT_iros13_v7__finalv1_.pdfTest

المؤلفون: Lyons, Damian, Arkin, Ronald, Liu, Tsung-Ming, Jiang, Shu, Nirmal, Paramesh

المصدر: IFAC Proceedings Volumes ; volume 46, issue 10, page 179-186 ; ISSN 1474-6670

الإتاحة: https://doi.org/10.3182/20130626-3-au-2035.00034Test
https://api.elsevier.com/content/article/PII:S1474667015349296?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S1474667015349296?httpAccept=text/plainTest

المؤلفون: Lyons, Damian M., Arkin, Ronald C., Jiang, Shu, Liu, Tsung-Ming, Nirmal, Paramesh

المساهمون: Georgia Institute of Technology. College of Computing, Georgia Institute of Technology. School of Interactive Computing, Georgia Institute of Technology. Mobile Robot Laboratory, Georgia Institute of Technology. Institute for Robotics and Intelligent Machines

مصطلحات موضوعية: Autonomous agents, Behavior-based systems, Control architectures, Programming, Program verification

وصف الملف: application/pdf

العلاقة: Mobile Robot Laboratory; Lyons, D. M., Arkin, R. C., Jiang, S., Liu, T. M., & Nirmal, P. (2015). Performance Verification for Behavior; 1552-3098 (Print); 1941-0468 (Online); http://hdl.handle.net/1853/56679Test

الإتاحة: https://doi.org/10.1109/TRO.2015.2418592Test
http://hdl.handle.net/1853/56679Test

المؤلفون: Liu, Tsung-Ming, Lyons, Damian M.

المصدر: Intelligent Autonomous Systems 13 ; Advances in Intelligent Systems and Computing ; page 563-576 ; ISSN 2194-5357 2194-5365 ; ISBN 9783319083377 9783319083384

الإتاحة: https://doi.org/10.1007/978-3-319-08338-4_42Test

المؤلفون: Lyons, Damian M., Shrestha, Karma, Liu, Tsung-Ming

المصدر: SPIE Proceedings ; Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2013 ; ISSN 0277-786X

الإتاحة: https://doi.org/10.1117/12.2018320Test