Browsing by author "Cruz Torres, Mario Henrique"
Now showing items 1-4 of 4
-
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) -
Dancing UAVs: Using Linear Programming to Model Movement Behavior with Safety Requirements
Dinh, Hoang Tung; Cruz Torres, Mario Henrique; Holvoet, Tom (2017) -
Scalable multirotor UAV trajectory planning using mixed integer linear programming
De Waen, Jorik; Dinh, Hoang Tung; Cruz Torres, Mario Henrique; Holvoet, Tom (2017) -
Sound and complete reactive UAV behavior using constraint programming
Tung Dinh, Hoang; Cruz Torres, Mario Henrique; Holvoet, Tom (2018)