Sign in

Bounded Variability of Metric Temporal Logic.

Carlo A. FuriaPaola Spoletini
Published in: TIME (2014)
Keyphrases
  • metric temporal logic
  • databases
  • relational databases
  • real world
  • computer vision
  • image processing
  • case study
  • three dimensional
  • bayesian networks
  • reinforcement learning
  • strictly convex