Publication | Closed Access

Logical characterizations of simulation and bisimulation for fuzzy transition systems

Fuzzy LogicFuzzy SystemsLogical CharacterizationsEngineeringFuzzy ComputingFuzzy ModelingFuzzy MathematicsVerificationComputer EngineeringFormal MethodsSystems EngineeringSimulationFuzzy OptimizationModeling And SimulationComputer ScienceFormal VerificationFuzzy Control System