Author of the publication

Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.

, , , , , , , , , and . RTAS, page 457-460. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Deep XMM-Newton Observations of an X-ray Weak, Broad Absorption Line Quasar at $z=6.5$, , , , , , , , , and 7 other author(s). (2021)cite arxiv:2112.10785Comment: 8 pages, 3 figures, 1 table; Accepted for publication in ApJL.ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving., , , , and . ARCH@ADHS, volume 80 of EPiC Series in Computing, page 120-132. EasyChair, (2021)SAIC & University of Virginia at TREC 2005: HARD Track., , and . TREC, volume 500-266 of NIST Special Publication, National Institute of Standards and Technology (NIST), (2005)Inferring Switched Nonlinear Dynamical Systems., , , , and . Formal Aspects Comput., 33 (3): 385-406 (2021)Improving Image Retrieval Effectiveness via Multiple Queries., and . Multimedia Tools Appl., 26 (2): 221-245 (2005)Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander., , , , , , , , , and . RTAS, page 457-460. IEEE, (2021)ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving., , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 141-161. EasyChair, (2019)An Svm-Based Incremental Learning Algorithm For User Adaptation Of Sketch Recognition., , , , , and . IJPRAI, 18 (8): 1529-1550 (2004)A Generalized Hybrid Hoare Logic., , , , and . CoRR, (2023)Dynamic Stochastic Optimization of Emergent Blood Collection and Distribution from Supply Chain Perspective., , and . Complex., (2021)