Stochastic safety verification using barrier certificates.

Stephen Prajna Ali Jadbabaie George J. Pappas

Published in: CDC (2004)

Keyphrases

safety analysis
model checking
monte carlo
formal verification
stochastic optimization
civil aviation

stochastic process
safety critical
public key
access control
formal methods

social networks
learning automata
face verification
signature verification
united states

digital signature
artificial neural networks
stochastic nature
public key infrastructure
expert systems