Travelled to:1 × France
1 × Singapore
Collaborated with:C.X.Ling H.Zhao M.Yang N.Zhan L.Zou Y.Chen
Talks about:algorithm (1) program (1) guidanc (1) general (1) descent (1) control (1) select (1) lander (1) formal (1) verif (1)
Person: Bin Gu
DBLP: Gu:Bin
Contributed to:
2015
2014Wrote 2 papers:
- ICML-2015-GuL #algorithm #fault
- A New Generalized Error Path Algorithm for Model Selection (BG, CXL), pp. 2549–2558.
- FM-2014-ZhaoYZGZC #verification
- Formal Verification of a Descent Guidance Control Program of a Lunar Lander (HZ, MY, NZ, BG, LZ, YC), pp. 733–748.