Sign in
A Pragmatic Approach to the Design of Advanced Precision Terrain-Aided Navigation for UAVs and Its Verification.
Jungshin Lee
Chang-Ky Sung
Juhyun Oh
Kyungjun Han
Sangwoo Lee
Myeong-Jong Yu
Published in:
Remote. Sens. (2020)
Keyphrases
</>
formal verification
engineering design
autonomous underwater vehicle
interface design
optimal design
high precision
design patterns
design principles
hardware designs
database
design decisions
control algorithm
computer aided
model checking
user interface
three dimensional
case study
learning algorithm
data sets