Approximate bisimulations for fuzzy-transition systems
Sha Qiao, Ping Zhu, Witold Pedrycz
Topics & Concepts
BisimulationNondeterministic algorithmMathematicsFuzzy logicOperator (biology)Function (biology)Characterization (materials science)AlgorithmDiscrete mathematicsComputer scienceArtificial intelligenceChemistryRepressorBiologyGeneNanotechnologyMaterials scienceEvolutionary biologyBiochemistryTranscription factorAdvanced Algebra and LogicFormal Methods in VerificationLogic, Reasoning, and Knowledge