Probabilistic approximation of runtime quantitative verification in self-adaptive systems.
Mehran Alidoost NiaMehdi KargahiFathiyeh FaghihPublished in: Microprocess. Microsystems (2020)
Keyphrases
- real time
- management system
- data sets
- probabilistic logic
- computer systems
- probability distribution
- probabilistic model
- data driven
- intelligent systems
- computer vision
- building blocks
- complex systems
- qualitative and quantitative
- quantitative and qualitative
- probabilistic reasoning
- formal methods
- databases
- approximation error
- security systems