Functional synthesis via input-output separation.

Supratik Chakraborty Dror Fried Lucas M. Tabajara Moshe Y. Vardi

Published in: Formal Methods Syst. Des. (2022)

Keyphrases

input output
fuzzy model
internal states
noise cancellation
fuzzy neural network
state transition
data envelopment analysis
neural network
fuzzy inference system
nonlinear functions