Login / Signup

LTL Goal Specifications Revisited.

Andreas BauerPatrik Haslum
Published in: ECAI (2010)
Keyphrases
  • bounded model checking
  • temporal logic
  • model checking
  • formal specification
  • real world
  • clustering algorithm
  • case study
  • database systems
  • similarity measure
  • mobile robot
  • domain specific
  • model checker