Login / Signup

Logical characterizations of simulation and bisimulation for fuzzy transition systems.

Hengyang WuYuxin Deng
Published in: Fuzzy Sets Syst. (2016)
Keyphrases
  • transition systems
  • fuzzy sets
  • model checking
  • temporal logic
  • fuzzy logic
  • concurrent systems
  • control flow
  • practical reasoning
  • fuzzy numbers
  • finite state
  • fuzzy set theory