Unbounded-Time Safety Verification of Stochastic Differential Dynamics.
Shenghua FengMingshuai ChenBai XueSriram SankaranarayananNaijun ZhanPublished in: CAV (2) (2020)
Keyphrases
- safety analysis
- monte carlo
- model checking
- dynamical systems
- stochastic optimization
- formal verification
- database
- data sets
- stochastic nature
- fingerprint verification
- stochastic process
- temporal evolution
- road safety
- asynchronous circuits
- signature verification
- learning automata
- stochastic processes
- markov chain
- probabilistic model
- expert systems
- real time