Sign in

Bounded variability of metric temporal logic.

Carlo A. FuriaPaola Spoletini
Published in: Ann. Math. Artif. Intell. (2017)
Keyphrases
  • metric temporal logic
  • software product line
  • social networks
  • decision making
  • neural network
  • data structure
  • special case
  • hidden markov models