RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC5303,
    author = {Temur Kutsia and George Rahonis and Wolfgang Schreiner},
    title = {{MK-fuzzy automata}},
    language = {english},
    abstract = {We introduce MK-fuzzy automata over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata inspired by, and intend to contribute to, practical applications being in development in the LogicGuard project. We investigate closure properties of the class of MK-fuzzy languages accepted by MK-fuzzy automata as well as by their deterministic counterparts.},
    year = {2016},
    month = {May},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
    keywords = {formal methods, runtime verification, automata theory, fuzzy logic},
    sponsor = {Supported by the Austrian Research Promotion Agency (FFG) in the frame of the BRIDGE program 846003 "LogicGuard II".},
    length = {17}