Kinetic: Verifiable dynamic network control

Computer Science

• Network Control 100%
• Dynamic Network 100%
• Network Operator 100%
• Network Configuration 50%
• Traffic Pattern 50%
• Computer Network 50%
• Network Condition 50%
• Domain-Specific Language 50%
• Performance Evaluation 50%
• temporal property 50%

Keyphrases

• Dynamic Network Control 100%
• Event Condition 50%
• Network Data Plane 50%
• Unexpected Failures 50%
• Manual Intervention 50%
• Networked Control Systems 50%