Formal Descriptive Modeling for Self-verification of Fuzzy Network Systems

Owen Macmann, Rick Graves, Kelly Cohen. Formal Descriptive Modeling for Self-verification of Fuzzy Network Systems. In Kelly Cohen, Nicholas Ernest, Barnabás Bede, Vladik Kreinovich, editors, Fuzzy Information Processing 2023 - Proceedings of the 2023 Annual Conference of the North American Fuzzy Information Processing Society, NAFIPS 2023, and at the related Workshop on Constraint Programming and Decision Making CoProD 2023, Cincinnati, OH, USA, May 31 - June 2, 2023. Volume 751 of Lecture Notes in Networks and Systems, pages 301-311, Springer, 2023. [doi]

Authors

Owen Macmann

This author has not been identified. Look up 'Owen Macmann' in Google

Rick Graves

This author has not been identified. Look up 'Rick Graves' in Google

Kelly Cohen

This author has not been identified. Look up 'Kelly Cohen' in Google