Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control
- 期刊名称Unmanned Systems
- 作者Lin, Hai
- 卷第2卷
- 期第2期
- 印刷ISSN2301-3850
- 电子ISSN2301-3869
- 文件大小861.61KB
- 发表时间2014-04
- DOI10.1142/S2301385014300029
- 页码201-216
Article Commentary: Invited CommentarySailor, W. · Research and Practice for Persons with Severe Disabilities · 1997
Commentary: Invited commentaryAlvarez, Nkosi H.; Guy, T. Sloane · The Journal of Thoracic and Cardiovascular Surgery · 2019
<b>Invited Commentary</b> —Commentary on Structural Modeling in Marketing: Review and AssessmentChan, Tat Y. · Marketing Science · 2006
Invited commentary–Rapid review: current practiceC. A. Faraker · 2001
Invited commentaryD. J. Pritchard · 1989
Invited commentaryK. Fukuta · 1996
Invited commentaryW. D. Boeckx · 1996
Invited CommentaryD. Marchac · 1993
ReplyLeonard N. Girardi; Karl H. Krieger; Charles A. Mack; Leonard Y. Lee; Anthony J. Tortolani; Ottis Wayne Isom · 2006
Surgery for Acute Presentation of Thoracoabdominal Aortic DiseaseLau, Christopher; Leonard, Jeremy R.; Iannacone, Erin; Gaudino, Mario; Girardi, Leonard N. · Seminars in Thoracic and Cardiovascular Surgery · 2018
Invited CommentaryLeonard N. Girardi · 2012
Invited commentaryLeonard N. Girardi · 2006
Invited CommentaryLeonard N. Girardi · 2009
Surgery for Acute Aortic TransectionLeonard N. Girardi; O. Wayne Isom · 1999
Invited CommentaryGirardi, Leonard N. · The Annals of Thoracic Surgery · 2015