Hoang Tung Dinh

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 6

Top Topics

Trajectory Planning

Formal Verification

Complex Environments

Top Venues

Publications

Manfred Geiger, Hoang Tung Dinh, Ulrich Remus
Constantly distracted - Understanding How Users Cope with Smartphone Distractions. ECIS (2023)
Hoang Tung Dinh, Danilo Romano, Patrick Abrahao Menani, Victor Vaquero, Quentin De Clercq, Mário Henrique C. Torres
Real-time safety assessment of trajectories for autonomous driving. CoRR (2021)
Hoang Tung Dinh, Tom Holvoet
A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions. PAAMS (2020)
Jan Vermaelen, Hoang Tung Dinh, Tom Holvoet
Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP. PAAMS (2020)
Hoang Tung Dinh, Tom Holvoet
Verifying autonomous decision making against environment assumptions: An experience report. IRC (2020)
Jorik De Waen, Hoang Tung Dinh, Mário Henrique Cruz Torres, Tom Holvoet
Scalable multirotor UAV trajectory planning using mixed integer linear programming. ECMR (2017)