Login / Signup
Weight monitoring with linear temporal logic: complexity and decidability.
Christel Baier
Joachim Klein
Sascha Klüppelholz
Sascha 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