Sign in

Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance.

Viktor Schuppan
Published in: QAPL (2013)
Keyphrases
  • information retrieval
  • heuristic search
  • model checking
  • linear temporal logic