A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics.

Agnishom Chattopadhyay Konstantinos Mamouras

Published in: RV (2020)

Keyphrases

metric temporal logic
real time
formal semantics
online learning
logic programming
semantic information
qualitative and quantitative
operational semantics
neural network
artificial intelligence
conceptual graphs