Bootstrapped Gaussian Mixture Model-Based Data-Driven Forward Stochastic Reachability Analysis.
Joonwon ChoiHyunsang ParkInseok HwangPublished in: IEEE Control. Syst. Lett. (2024)
Keyphrases
- gaussian mixture
- data driven
- reachability analysis
- model checking
- markov decision processes
- mixtures of gaussians
- gaussian mixture model
- em algorithm
- covariance matrix
- mixture model
- expectation maximization
- closed form
- incremental algorithms
- probability density function
- state space
- timed automata
- density estimation
- gaussian densities
- probabilistic model
- data mining