< Back to previous page
Researcher
Hoang Tung Dinh
- Disciplines:Distributed computing
Affiliations
- Distributed and Secure Software (DistriNet) (Division)
Member
From1 Aug 2020 → Today - Informatics Section (Division)
Member
From1 Aug 2015 → 31 Jul 2020
Projects
1 - 1 of 1
- Software for cooperative autonomous systemsFrom31 Jul 2015 → 31 Jul 2019Funding: Own budget, for example: patrimony, inscription fees, gifts
Publications
1 - 8 of 8
- Verifying autonomous decision making against environment assumptions: An experience report(2020)
Authors: Hoang Tung Dinh, Tom Holvoet
Pages: 1 - 9Number of pages: 9 - A survey on probabilistic planning and temporal scheduling with safety guarantees(2020)
Authors: Jan Vermaelen, Hoang Tung Dinh, Tom Holvoet
Number of pages: 10 - A framework for verifying autonomous robotic agents against environment assumptions(2020)
Authors: Hoang Tung Dinh, Tom Holvoet
Pages: 291 - 302 - Formal verification of autonomous UAV behavior for inspection tasks using the knowledge base system IDP(2020)
Authors: Jan Vermaelen, Hoang Tung Dinh, Tom Holvoet
Pages: 315 - 326Number of pages: 12 - Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems(2018)
Authors: Hoang Tung Dinh, Tom Holvoet
Pages: 152 - 155Number of pages: 155 - Sound and complete reactive UAV behavior using constraint programming(2018)
Authors: Hoang Tung Dinh, Tom Holvoet
Pages: 143 - 151Number of pages: 155 - Scalable multirotor UAV trajectory planning using Mixed integer linear programming(2017)
Authors: Hoang Tung Dinh, Mario Henrique Cruz Torres, Tom Holvoet
Pages: 1 - 6 - Dancing UAVs: Using linear programming to model movement behavior with safety requirements(2017)
Authors: Hoang Tung Dinh, Mario Henrique Cruz Torres, Tom Holvoet
Pages: 326 - 335