Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals.
Antoine CailliauAxel van LamsweerdePublished in: SEAMS@ICSE (2017)
Keyphrases
- monitoring system
- low resolution
- high resolution
- probabilistic model
- uncertain data
- bayesian networks
- real time
- high quality
- probabilistic logic
- decision support
- data mining
- conditional probabilities
- intensive care
- visual navigation
- free space
- probabilistic reasoning
- probabilistic approaches
- generative model
- data driven
- graphical models
- multi agent
- information systems
- databases