C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Design and Verification of a Novel Triphibian Platform.
Kaiwen Xue
Shiqi Yang
Minen Lv
Yiying Lu
Huihuan Qian
Published in:
CoRR (2022)
Keyphrases
</>
real time
optimal design
formal verification
platform independent
decision trees
distributed architecture
databases
neural network
real world
learning algorithm
multiscale
control system
design process
software architecture
formal methods