Login / Signup
Multi-Head Monitoring of Metric Dynamic Logic.
Martin Raszyk
Published in:
Arch. Formal Proofs (2022)
Keyphrases
</>
dynamic logic
real time
monitoring system
modal logic
reasoning about actions
agent programming
propositional dynamic logic
imperative programs
distance measure
metric space
metric learning
multiple input
classical first order logic
general purpose