Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stephen Prajna
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
