Abstraction and approximation in fuzzy temporal logics and models.

Gholamreza Sotudeh Ali Movaghar

Published in: Formal Aspects Comput. (2015)

Keyphrases

temporal logic
fuzzy logic
fuzzy sets
knowledge base
probabilistic model
model checking
reinforcement learning
cellular automata
heuristic search
mazurkiewicz traces