Amit Bhatia

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

2 Amit Bhatia, Emilio Frazzoli: Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. HSCC 2008: 606-609

2004

1 Amit Bhatia, Emilio Frazzoli: Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. HSCC 2004: 142-156

	2008
2		Amit Bhatia, Emilio Frazzoli: Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. HSCC 2008: 606-609
	2004
1		Amit Bhatia, Emilio Frazzoli: Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. HSCC 2004: 142-156

Coauthor Index

1 Emilio Frazzoli [1] [2]