Ravanbakhsh, Hadi.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Inductive Certificate Synthesis for Control Design.
by:
University of Colorado at Boulder., Computer Science.; Ravanbakhsh, Hadi.
(Electronic resources)
Subjects