Login / Signup

Weight monitoring with linear temporal logic: complexity and decidability.

Christel BaierJoachim KleinSascha KlüppelholzSascha Wunderlich
Published in: CSL-LICS (2014)
Keyphrases
  • linear temporal logic
  • monitoring system
  • temporal logic
  • computational complexity
  • description logics
  • learning algorithm
  • model checking
  • object oriented
  • general purpose
  • planning domains
  • bounded model checking