STL Robustness Risk over Discrete-Time Stochastic Processes.
Lars LindemannNikolai MatniGeorge J. PappasPublished in: CDC (2021)
Keyphrases
- stochastic processes
- markov processes
- stochastic process
- stochastic models
- probability distribution
- random fields
- random variables
- continuous time bayesian networks
- markov chain
- dynamic bayesian networks
- markov process
- finite state
- computer vision
- maximum entropy
- steady state
- non stationary
- active contours
- image processing