A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic.
David A. BasinThibault DardinierLukas HeimesSrdan KrsticMartin RaszykJoshua SchneiderDmitriy TraytelPublished in: IJCAR (1) (2020)
Keyphrases
- dynamic logic
- classical first order logic
- first order logic
- modal logic
- imperative programs
- reasoning about actions
- real time
- monitoring system
- agent programming
- metric space
- propositional dynamic logic
- higher order
- distance function
- multiple input
- evaluation metrics
- logic programming
- distance metric
- distance measure
- stochastic dominance