Login / Signup
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates.
Stephen Prajna
Ali Jadbabaie
George J. Pappas
Published in:
IEEE Trans. Autom. Control. (2007)
Keyphrases
</>
worst case
lower bound
main contribution
neural network
website
probabilistic model
artificial intelligence
web services
multiscale
wireless sensor networks
particle filter
conceptual framework