Login / Signup
KATch: A Fast Symbolic Verifier for NetKAT.
Mark Moeller
Jules Jacobs
Olivier Savary Bélanger
David Darais
Cole Schlesinger
Steffen Smolka
Nate Foster
Alexandra Silva
Published in:
CoRR (2024)
Keyphrases
</>
connectionist models
symbolic representation
neural network
information systems
high level
database
real time
learning algorithm
feature selection
image segmentation
conceptual spaces