Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations.
Thibault DardinierLukas HeimesMartin RaszykJoshua SchneiderDmitriy TraytelPublished in: Arch. Formal Proofs (2020)
Keyphrases
- learning algorithm
- detection algorithm
- optimization algorithm
- segmentation algorithm
- optimal solution
- computational complexity
- computational cost
- dynamic programming
- k means
- real time
- np hard
- cost function
- expectation maximization
- similarity measure
- clustering algorithm
- search space
- preprocessing
- probabilistic model
- worst case
- objective function
- artificial intelligence
- distance metric