Stochastic safety verification using barrier certificates.
Stephen PrajnaAli JadbabaieGeorge J. PappasPublished 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