Login / Signup

Enhanced Vacuity Detection in Linear Temporal Logic.

Roy ArmoniLimor FixAlon FlaisherOrna GrumbergNir PitermanAndreas TiemeyerMoshe Y. Vardi
Published in: CAV (2003)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • object detection
  • detection algorithm
  • formal specification
  • machine learning
  • temporally extended goals