Login / Signup

Enhancing unsatisfiable cores for LTL with information on temporal relevance.

Viktor Schuppan
Published in: Theor. Comput. Sci. (2016)
Keyphrases
  • information retrieval
  • model checking
  • relevance feedback
  • orders of magnitude