Coalgebras for Fuzzy Transition Systems.

Hengyang Wu Yixiang Chen

Published in: ISDT (2013)

Keyphrases

transition systems
concurrent systems
fuzzy sets
model checking
temporal logic
finite state
fuzzy logic
fuzzy numbers
control flow
fuzzy set theory
practical reasoning
artificial intelligence
search algorithm
domain specific
distributed systems
knowledge based systems