Multi-head Monitoring of Metric Temporal Logic.

Martin Raszyk David A. Basin Srdan Krstic Dmitriy Traytel

Published in: ATVA (2019)

Keyphrases

metric temporal logic
real time
computer vision
databases
artificial intelligence
monitoring system
neural network
real world
learning algorithm
case study
expert systems
intensive care
physical parameters