Browsing by Author "Tung Dinh, Hoang"
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Publication Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems
Publication Sound and complete reactive UAV behavior using constraint programming