Fuzzy-Timed Automata.
F. Javier CrespoAlberto de la EncinaLuis LlanaPublished in: FMOODS/FORTE (2010)
Keyphrases
- timed automata
- model checking
- reachability analysis
- fuzzy logic
- fuzzy sets
- theorem prover
- fuzzy clustering
- fuzzy rules
- fuzzy set theory
- theorem proving
- fuzzy classification
- fuzzy membership functions
- fuzzy numbers
- membership functions
- first order logic
- fuzzy neural network
- fuzzy inference system
- reinforcement learning
- fuzzy measures
- fuzzy reasoning
- temporal logic
- pattern recognition