Leyi Cui. A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic. In Manu Sridharan, editor, Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2024, Pasadena, CA, USA, October 20-25, 2024. pages 31-33, ACM, 2024. [doi]
Abstract is missing.