TY - RPRT TI - Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics AU - Linh Anh Nguyen AU - Ngoc-Thanh Nguyen PY - 2021 UR - https://arxiv.org/abs/2109.02334 ID - 2109.02334 ER -