LTLf and LDLf Monitoring: A Technical Report.

Giuseppe De Giacomo Riccardo De Masellis Marco Grasso Fabrizio Maria Maggi Marco Montali

Published in: CoRR (2014)

Keyphrases

technical report
monitoring system
real time
decision making
early warning
artificial intelligence
computer vision
information systems
wide range
expert systems
activity monitoring