Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc.
Mauricio ToroPublished in: CoRR (2018)
Keyphrases
- efficient implementation
- efficient processing
- simulation tools
- hardware implementation
- bayesian networks
- software tools
- active set
- highly parallel
- decision support
- formal methods
- simulation models
- simulation model
- multi dimensional
- simulation environment
- mathematical model
- generative model
- signal processing
- dimensionality reduction
- probabilistic model
- clustering algorithm