< Terug naar vorige pagina
Onderzoeker
Hoang Tung Dinh
- Disciplines:Distributed computing
Affiliaties
- Gedistribueerde en Veilige Software (DistriNet) (Afdeling)
Lid
Vanaf1 aug 2020 → Heden - Afdeling Informatica (Afdeling)
Lid
Vanaf1 aug 2015 → 31 jul 2020
Projecten
1 - 1 of 1
- Software voor coöperatieve autonome systemenVanaf31 jul 2015 → 31 jul 2019Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
Publicaties
1 - 8 van 8
- Verifying autonomous decision making against environment assumptions: An experience report(2020)
Auteurs: Hoang Tung Dinh, Tom Holvoet
Pagina's: 1 - 9Aantal pagina's: 9 - A survey on probabilistic planning and temporal scheduling with safety guarantees(2020)
Auteurs: Jan Vermaelen, Hoang Tung Dinh, Tom Holvoet
Aantal pagina's: 10 - A framework for verifying autonomous robotic agents against environment assumptions(2020)
Auteurs: Hoang Tung Dinh, Tom Holvoet
Pagina's: 291 - 302 - Formal verification of autonomous UAV behavior for inspection tasks using the knowledge base system IDP(2020)
Auteurs: Jan Vermaelen, Hoang Tung Dinh, Tom Holvoet
Pagina's: 315 - 326Aantal pagina's: 12 - Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems(2018)
Auteurs: Hoang Tung Dinh, Tom Holvoet
Pagina's: 152 - 155Aantal pagina's: 155 - Sound and complete reactive UAV behavior using constraint programming(2018)
Auteurs: Hoang Tung Dinh, Tom Holvoet
Pagina's: 143 - 151Aantal pagina's: 155 - Scalable multirotor UAV trajectory planning using Mixed integer linear programming(2017)
Auteurs: Hoang Tung Dinh, Mario Henrique Cruz Torres, Tom Holvoet
Pagina's: 1 - 6 - Dancing UAVs: Using linear programming to model movement behavior with safety requirements(2017)
Auteurs: Hoang Tung Dinh, Mario Henrique Cruz Torres, Tom Holvoet
Pagina's: 326 - 335