Dinh, Hoang Tung
3195  results:
Search for persons X
?
1

A Framework for Verifying Autonomous Robotic Agents Against..:

, In: Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection; Lecture Notes in Computer Science,
Dinh, Hoang Tung ; Holvoet, Tom - p. 291-302 , 2020
 
?
2

Verifying autonomous decision making against environment as..:

, In: 2020 Fourth IEEE International Conference on Robotic Computing (IRC),
Dinh, Hoang Tung ; Holvoet, Tom - p. 327-335 , 2020
 
?
3

Formal Verification of Autonomous UAV Behavior for Inspecti..:

, In: Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection; Lecture Notes in Computer Science,
Vermaelen, Jan ; Dinh, Hoang Tung ; Holvoet, Tom - p. 315-326 , 2020
 
?
4

Dancing UAVs: Using linear programming to model movement be..:

, In: 2017 International Conference on Unmanned Aircraft Systems (ICUAS),
 
?
7

THE EFFECTIVENESS OF TECHNICAL DEVELOPMENT EXERCISES FOR MA..:

Hieu, Le Van ; Tung, Vu Dinh Hoang
European Journal of Physical Education and Sport Science.  11 (2024)  3 - p. , 2024
 
?
8

The factors affecting the student's decision to continue to..:

Kim Chung, Đỗ Thị ; Bích Chi, Trần Thị ; Trung, Trần Đức..
Science & Technology Development Journal - Economics - Law and Management.  5 (2021)  2 - p. 1441-1452 , 2021
 
?
10

Nd–Fe–B-based anisotropic nanocrystalline hard magnetic all..:

Nguyen, Huy Dan ; Nguyen, Hai Yen ; Pham, Thi Thanh...
Advances in Natural Sciences: Nanoscience and Nanotechnology.  3 (2012)  1 - p. 015016 , 2012
 
?
12

Mechanical and Thermal Load Effect on Piston Crown of a Bio..:

Truc, Nguyen The ; Anh Duc, Tran ; Cam Van, Nguyen...
ASEAN Journal on Science and Technology for Development.  39 (2022)  3 - p. , 2022
 
1-15