Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics

Linh Anh Nguyen, Ngoc Thanh Nguyen. Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics. In 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, Luxembourg, July 11-14, 2021. pages 1-7, IEEE, 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.