Fuzzy star functions, probabilistic automata and their approximation by nonprobabilistic automata | IEEE Conference Publication | IEEE Xplore