Almost Event-Rate Independent Monitoring of Metric Dynamic Logic.
David A. BasinSrdan KrsticDmitriy TraytelPublished in: RV (2017)
Keyphrases
- dynamic logic
- event detection
- imperative programs
- monitoring system
- abnormal events
- real time
- reasoning about actions
- modal logic
- evaluation metrics
- general purpose
- propositional dynamic logic
- distance function
- temporal logic
- metric space
- metric learning
- event sequences
- fixed point
- model checking
- first order logic
- agent programming
- distance measure