BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

ICML 20152015
FM 20142014

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.