Amit Bhatia (1)
Identifiers
- name variant Amit Bhatia (1) 0.60 · backfill
Papers (1)
- Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems math.OC · 2008 · author #1
Mentions
- 0801.0570 #1 · backfill · confidence 0.70 Amit Bhatia (1)
Frequent Coauthors
- (2) Massachusetts Institute of Technology) 1 shared papers
- Emilio Frazzoli (2) ((1) University of California at Los Angeles 1 shared papers