Login / Signup

Bisimilarity for fuzzy doubly Labeled Transition Systems.

Haiyu PanMin ZhangYixiang Chen
Published in: QLSC (2012)
Keyphrases
  • transition systems
  • model checking
  • temporal logic
  • concurrent systems
  • fuzzy sets
  • finite state
  • practical reasoning
  • fuzzy logic
  • training data
  • control flow
  • search algorithm
  • first order logic
  • fuzzy numbers
  • model checker