Sign in

Fuzzy Time in Linear Temporal Logic.

Achille FrigeriLiliana PasqualePaola Spoletini
Published in: ACM Trans. Comput. Log. (2014)
Keyphrases
  • linear temporal logic
  • temporal logic
  • fuzzy sets
  • model checking
  • bounded model checking
  • fuzzy logic
  • fuzzy numbers