Algorithms for Monitoring Real-Time Properties.
David A. BasinFelix KlaedtkeEugen ZalinescuPublished in: RV (2011)
Keyphrases
- real time
- learning algorithm
- computationally expensive
- orders of magnitude
- significant improvement
- times faster
- data acquisition
- computational efficiency
- benchmark datasets
- dedicated hardware
- desirable properties
- theoretical analysis
- decision support
- low cost
- probabilistic model
- computational cost
- computational complexity