Characterization and computation of approximate bisimulations for fuzzy automata
Ivana Mičić, Linh Anh Nguyen, Stefan Stanimirović
Topics & Concepts
BisimulationMathematicsAutomatonFuzzy logicIsomorphism (crystallography)Discrete mathematicsQuantum finite automataReduction (mathematics)AlgorithmAutomata theoryTheoretical computer scienceComputer scienceArtificial intelligenceGeometryChemistryCrystal structureCrystallographyAdvanced Algebra and LogicFormal Methods in Verificationsemigroups and automata theory