Biblio

Export 2 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Keyword is   [Clear All Filters]
2006
Bhatia, A, Frazzoli E.  2006.  Resolution-complete safety falsification of continuous time systems. Decision and Control, 2006 45th IEEE Conference on. :3297-3302.
Abstract      Publisher's web site     
2004
Bhatia, A.  2004.  Incremental Search Methods for Reachability Analysis of Continuous and Hyrbid Systems. Aerospace Engineering. M.S.:65.