Stephen Prajna

	2006
3		Stephen Prajna: Barrier certificates for nonlinear model validation. Automatica 42(1): 117-126 (2006)
	2005
2		Stephen Prajna, Anders Rantzer: Primal-Dual Tests for Safety and Reachability. HSCC 2005: 542-556
	2004
1		Stephen Prajna, Ali Jadbabaie: Safety Verification of Hybrid Systems Using Barrier Certificates. HSCC 2004: 477-492

Coauthor Index

1	Ali Jadbabaie	[1]
2	Anders Rantzer	[2]

Colors in the list of coauthors