Login / Signup
S. Sznaier
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
M. O'Connor
,
Sekhar Tangirala
,
Ratnesh Kumar
,
S. Bhattacharyya
,
S. Sznaier
,
Larry E. Holloway
A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles.
ACC
(2006)