Kavraki Lab
Physical and Biological Computing
Robotics
Bioinformatics
Publications
Software
Openings
Members
Awards
Biblio
List
Filter
Export 2 results:
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
Filters:
Keyword
is
[Clear All Filters]
2008
Bhatia, A
. 2008.
Sampling-based Algorithms for Analysis and Design of Hybrid and Embedded Systems
.
Mechanical and Aerospace Engineering. Ph.D.:156.
Tagged
XML
BibTex
Google Scholar
2006
Bhatia, A
,
Frazzoli E
. 2006.
Resolution-complete safety falsification
.
Poster in Hybrid Systems: Computation and Control, 2006.
Tagged
XML
BibTex
Google Scholar
Preprint PDF