C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Kivi: Verification for Cluster Management.
Bingzhe Liu
Gangmuk Lim
Ryan Beckett
Philip Brighten Godfrey
Published in:
CoRR (2023)
Keyphrases
</>
management system
clustering algorithm
model checking
information management
cluster analysis
data processing
information systems
verification method
network management
data clustering
decision support
decision making
formal verification
clustering method
knowledge management
data points
case study
neural network