Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue 0001, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan. Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. In 27th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2021, Nashville, TN, USA, May 18-21, 2021. pages 457-460, IEEE, 2021. [doi]
Abstract is missing.