Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems.

Linh Anh Nguyen

Published in: CoRR (2024)

Keyphrases

efficient algorithms for computing
transition systems
finite state
model checking
concurrent systems
temporal logic
fully observable
fuzzy sets
markov chain
fuzzy logic
fuzzy set theory
control flow
markov decision processes
fuzzy numbers
practical reasoning
optimal policy
potential functions