Algorithms for monitoring real-time properties.
David A. BasinFelix KlaedtkeEugen ZalinescuPublished in: Acta Informatica (2018)
Keyphrases
- real time
- computational complexity
- orders of magnitude
- times faster
- recently developed
- optimization problems
- theoretical analysis
- genetic algorithm
- learning algorithm
- computationally efficient
- benchmark datasets
- computationally expensive
- activity monitoring
- complex event processing
- graph theory
- convergence rate
- general purpose
- computational cost
- significant improvement
- machine learning
- neural network