Hoang Tung Dinh

According to our database, Hoang Tung Dinh authored at least 6 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Constantly distracted - Understanding How Users Cope with Smartphone Distractions.

Manfred Geiger, Hoang Tung Dinh, Ulrich Remus

Proceedings of the 31st European Conference on Information Systems, 2023

2021

Real-time safety assessment of trajectories for autonomous driving.

Hoang Tung Dinh, Danilo Romano, Patrick Abrahao Menani, Victor Vaquero, Quentin De Clercq, Mário Henrique C. Torres

CoRR, 2021

2020

Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP.

Jan Vermaelen, Hoang Tung Dinh, Tom Holvoet

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions.

Hoang Tung Dinh, Tom Holvoet

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

Verifying autonomous decision making against environment assumptions: An experience report.

Hoang Tung Dinh, Tom Holvoet

Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

2017

Scalable multirotor UAV trajectory planning using mixed integer linear programming.

Jorik De Waen, Hoang Tung Dinh, Mário Henrique Cruz Torres, Tom Holvoet

Proceedings of the 2017 European Conference on Mobile Robots, 2017