Browsing by author "Tung Dinh, Hoang"
Now showing items 1-2 of 2
-
Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems
Tung Dinh, Hoang; Cruz Torres, Mario Henrique; Holvoet, Tom (2018) -
Sound and complete reactive UAV behavior using constraint programming
Tung Dinh, Hoang; Cruz Torres, Mario Henrique; Holvoet, Tom (2018)