Leung, Karen Yan Ming.
Overview
| Works: | 3 works in 0 publications in 0 languages | |
|---|---|---|
Titles
On Using Formal Methods for Safe and Robust Robot Autonomy.
by:
Leung, Karen Yan Ming.; Stanford University.
(Electronic resources)