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]

@inproceedings{NguyenN21-6,
  title = {Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics},
  author = {Linh Anh Nguyen and Ngoc Thanh Nguyen},
  year = {2021},
  doi = {10.1109/FUZZ45933.2021.9494504},
  url = {https://doi.org/10.1109/FUZZ45933.2021.9494504},
  researchr = {https://researchr.org/publication/NguyenN21-6},
  cites = {0},
  citedby = {0},
  pages = {1-7},
  booktitle = {30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, Luxembourg, July 11-14, 2021},
  publisher = {IEEE},
  isbn = {978-1-6654-4407-1},
}