Sign in

Multi-head Monitoring of Metric Temporal Logic.

Martin RaszykDavid A. BasinSrdan KrsticDmitriy 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