• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Functional synthesis via input-output separation.

Supratik ChakrabortyDror FriedLucas M. TabajaraMoshe 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