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