Symbolic Verification of Fuzzy Logic Models. - Siang Zhao; Zhongyang Li; Zhenbang Chen; Ji Wang 001 (ASE, 2023)