| Dancing UAVs: Using linear programming to model movement behavior with safety requirements HT Dinh, MHC Torres, T Holvoet International Conference on Unmanned Aircraft Systems (ICUAS), 2017, 326-335, 2017 | 18 | 2017 |
| Scalable multirotor UAV trajectory planning using mixed integer linear programming J De Waen, HT Dinh, MHC Torres, T Holvoet 2017 European Conference on Mobile Robots (ECMR), 1-6, 2017 | 14 | 2017 |
| Sound and complete reactive UAV behavior using constraint programming HT Dinh, MH Cruz Torres, T Holvoet ICAPS Workshop on Planning and Robotics, 2018 | 9 | 2018 |
| Multi-agent route planning using delegate MAS HT Dinh, R van Lon, T Holvoet Workshop on Distributed and Multi-Agent Planning, 24-32, 2016 | 9 | 2016 |
| High throughput fpga architecture for corner detection in traffic images TH Dinh, DQ Vu, VD Ngo, NP Ngoc, VT Truong 2014 IEEE Fifth International Conference on Communications and Electronics …, 2014 | 9 | 2014 |
| A survey on probabilistic planning and temporal scheduling with safety guarantees J Vermaelen, HT Dinh, T Holvoet ICAPS Workshop on Planning and Robotics, 2020 | 4 | 2020 |
| A framework for verifying autonomous robotic agents against environment assumptions HT Dinh, T Holvoet International Conference on Practical Applications of Agents and Multi-Agent …, 2020 | 2 | 2020 |
| Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP J Vermaelen, HT Dinh, T Holvoet International Conference on Practical Applications of Agents and Multi-Agent …, 2020 | 2 | 2020 |
| Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems HT Dinh, MH Cruz Torres, T Holvoet ICAPS Workshop on Planning and Robotics, 2018 | 2 | 2018 |
| Method for detecting inconsistencies in the outputs of perception systems of autonomous vehicles Q De Clercq, HT Dinh, MH Cruz Torres, D Romano, P Abrahao, ... US Patent App. 17/678,398, 2022 | 1 | 2022 |
| Real-time safety assessment of trajectories for autonomous driving HT Dinh, D Romano, PA Menani, V Vaquero, Q De Clercq, M Torres arXiv preprint arXiv:2104.13149, 2021 | 1 | 2021 |
| Method and a system for the automatic generation of an embedded source code for the electronic control unit of an AD/ADAS road vehicle MHC Torres, HT Dinh US Patent App. 17/505,801, 2022 | | 2022 |
| Verifying autonomous decision making against environment assumptions: An experience report HT Dinh, T Holvoet 2020 Fourth IEEE International Conference on Robotic Computing (IRC), 327-335, 2020 | | 2020 |
| Sound and complete reactive UAV behavior using constraint programming HT Dinh, MH Cruz Torres, T Holvoet CW Reports, 2017 | | 2017 |
