Slicing executable system-of-systems models for efficient statistical verification.
Jiyoung SongJacob O. TørringSangwon HyunEunkyoung JeeDoo-Hwan BaePublished in: SESoS-WDES@ICSE (2019)
Keyphrases
- complex systems
- statistical models
- analytical models
- probabilistic model
- data driven
- computational models
- physical systems
- prior knowledge
- statistical methods
- abstraction levels
- trading systems
- statistical approaches
- expert systems
- statistical model
- retrieval systems
- bayesian networks
- formal methods
- goodness of fit
- genetic algorithm