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]

Authors

Linh Anh Nguyen

This author has not been identified. Look up 'Linh Anh Nguyen' in Google

Ngoc Thanh Nguyen

This author has not been identified. Look up 'Ngoc Thanh Nguyen' in Google