-
1دورية أكاديمية
المؤلفون: Chaeeun Yang, Sojeong Yoon, Kyunghoon Cho
المصدر: IEEE Access, Vol 12, Pp 57410-57423 (2024)
مصطلحات موضوعية: Deep learning-based control synthesis, formal methods, mission-based path planning, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Hyeonkyu Seong, Kyoungho Lee, Kyunghoon Cho
المصدر: IEEE Access, Vol 12, Pp 13260-13276 (2024)
مصطلحات موضوعية: Formal methods, reactive control, robot mission planning, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Kyoungho Lee, Kyunghoon Cho
المصدر: IEEE Access, Vol 12, Pp 7704-7718 (2024)
مصطلحات موضوعية: Deep learning-based control synthesis, formal methods, mission-based path planning, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
4دورية أكاديمية
المؤلفون: Eunji Im, Minji Choi, Kyunghoon Cho
المصدر: Sensors, Vol 24, Iss 14, p 4567 (2024)
مصطلحات موضوعية: deep learning-based control synthesis, formal methods, rule-based path planning, Chemical technology, TP1-1185
وصف الملف: electronic resource
-
5دورية أكاديمية
المؤلفون: Changmin Baek, Kyunghoon Cho
المصدر: Sensors, Vol 24, Iss 10, p 2998 (2024)
مصطلحات موضوعية: deep learning-based control synthesis, formal methods, mission-based path planning, sampling-based path planning, Chemical technology, TP1-1185
وصف الملف: electronic resource
-
6دورية أكاديمية
المؤلفون: Kyunghoon Cho
المصدر: IEEE Access, Vol 11, Pp 25865-25878 (2023)
مصطلحات موضوعية: Path planning, formal methods, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
7دورية أكاديمية
المؤلفون: Yuri Kim, Myung Ho Jeong, Minjeong An, Kyunghoon Cho, Youngjoon Hong, Juhan Kim, Youngkeun Ahn
المصدر: PLoS ONE, Vol 18, Iss 2, p e0278993 (2023)
وصف الملف: electronic resource
Relation: https://doaj.org/toc/1932-6203
-
8دورية أكاديمية
المؤلفون: Kyunghoon Cho
المصدر: IEEE Access, Vol 10, Pp 74815-74824 (2022)
مصطلحات موضوعية: Autonomous driving, reinforcement learning, formal methods, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
9
المؤلفون: Songhwai Oh, Yoonseon Oh, Kyunghoon Cho, Yunho Choi
المصدر: IEEE Transactions on Automatic Control. 66:5816-5829
مصطلحات موضوعية: Mathematical optimization, Computer science, Probabilistic logic, Collision, Search tree, Computer Science Applications, Computer Science::Robotics, Linear temporal logic, Control and Systems Engineering, Robustness (computer science), Path (graph theory), Trajectory, Robot, Temporal logic, Motion planning, Electrical and Electronic Engineering
-
10
المؤلفون: Kyunghoon Cho, Da-hee Lim
المصدر: Public Policy Review. 33:93-115
مصطلحات موضوعية: General Medicine
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3c2466fe6f2d71735b513589c574a412
https://doi.org/10.17327/ippa.2019.33.1.004