Exploring the twin peaks using probabilistic verification techniques.
Anitha MurugesanLu FengMats Per Erik HeimdahlSanjai RayadurgamMichael W. WhalenInsup LeePublished in: TwinPeaks (2014)
Keyphrases
- databases
- database
- model checking
- probabilistic model
- information systems
- data driven
- generative model
- hough transform
- verification method
- case study
- formal analysis
- data mining
- concurrent systems
- probabilistic interpretation
- probabilistic logic
- formal methods
- peak detection
- uncertain data
- mobile robot
- expert systems
- multiscale
- bayesian networks
- website
- artificial intelligence
- real time