Browsing by Author "Cruz Torres, Mario Henrique"
Now showing 1 - 4 of 4
- Results Per Page
- Sort Options
Publication Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems
Publication Dancing UAVs: Using Linear Programming to Model Movement Behavior with Safety Requirements
Publication Scalable multirotor UAV trajectory planning using mixed integer linear programming
Publication Sound and complete reactive UAV behavior using constraint programming