Login / Signup

Similarity Saturation for First Order Linear Temporal Logic with UNLESS.

Regimantas Pliuskevicius
Published in: JELIA (1996)
Keyphrases
  • probability distribution
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • similarity measure
  • machine learning
  • computational complexity
  • programming language
  • search strategies