Browsing by author "Dinh, Hoang Tung"
Now showing items 1-4 of 4
-
A framework for verifying autonomous robotic agents against environment assumptions
Dinh, Hoang Tung; Holvoet, Tom (2020-06) -
Dancing UAVs: Using Linear Programming to Model Movement Behavior with Safety Requirements
Dinh, Hoang Tung; Cruz Torres, Mario Henrique; Holvoet, Tom (2017) -
Scalable multirotor UAV trajectory planning using mixed integer linear programming
De Waen, Jorik; Dinh, Hoang Tung; Cruz Torres, Mario Henrique; Holvoet, Tom (2017) -
Verifying autonomous decision making against environment assumptions: An experience report
Dinh, Hoang Tung; Holvoet, Tom (2020-11)