Login / Signup
Synthesizing Formal Network Specifications From Input-Output Examples.
Haoxian Chen
Chenyuan Wu
Andrew Zhao
Mukund Raghothaman
Mayur Naik
Boon Thau Loo
Published in:
IEEE/ACM Trans. Netw. (2023)
Keyphrases
</>
input output
formal specification
internal states
output layer
peer to peer
fuzzy model
fuzzy neural network
noise cancellation
neural network
network traffic
fuzzy logic controller
data envelopment analysis
fuzzy modeling
network structure
fuzzy controller
operational semantics