Probabilistic Bisimulation for Parameterized Systems (Technical Report).
Chih-Duo HongAnthony W. LinRupak MajumdarPhilipp RümmerPublished in: CoRR (2020)
Keyphrases
- technical report
- computer systems
- expert systems
- bayesian networks
- computer vision
- data driven
- management system
- case study
- multiscale
- website
- artificial neural networks
- wireless sensor networks
- probabilistic model
- multimedia
- rough sets
- graphical models
- distributed systems
- metadata
- e learning
- retrieval systems
- data sets