Browsing by Author "Dinh, Hoang Tung"

Now showing 1 - 4 of 4

A framework for verifying autonomous robotic agents against environment assumptions

Dinh, Hoang Tung
;
Holvoet, Tom
Proceedings paper
2020-06, International Conference on Practical Applications of Agents and Multi-Agent Systems, 7/10/2020, p.291-302
Dancing UAVs: Using Linear Programming to Model Movement Behavior with Safety Requirements

Dinh, Hoang Tung
;
Cruz Torres, Mario Henrique
;
Holvoet, Tom
Proceedings paper
2017, 2017 International Conference on Unmanned Aircraft Systems - ICUAS, 13/06/2017, p.327-335
Scalable multirotor UAV trajectory planning using mixed integer linear programming

De Waen, Jorik
;
Dinh, Hoang Tung
;
Cruz Torres, Mario Henrique
;
Holvoet, Tom
Proceedings paper
2017, European Conference on Mobile Robots - ECMR, 6/09/2017, p.1-6
Verifying autonomous decision making against environment assumptions: An experience report

Dinh, Hoang Tung
;
Holvoet, Tom
Proceedings paper
2020-11, 2020 Fourth IEEE International Conference on Robotic Computing - IRC, 9/11/2020