Multi-head Monitoring of Metric Dynamic Logic.

Martin Raszyk David A. Basin Dmitriy Traytel

Published in: ATVA (2020)

Keyphrases

dynamic logic
real time
reasoning about actions
imperative programs
modal logic
propositional dynamic logic
monitoring system
decision support
first order logic
early warning
knowledge base
natural language
metric space
modal operators
classical first order logic