JURY: Validating Controller Actions in Software-Defined Networks.
Kshiteej MahajanRishabh PoddarMohan DhawanVijay MannPublished in: DSN (2016)
Keyphrases
- software systems
- software tools
- user interface
- control system
- software development
- social networks
- control rules
- software design
- computer systems
- making decisions
- real time
- human actions
- situation calculus
- multiple agents
- heterogeneous networks
- initial state
- fuzzy controller
- network analysis
- human activities
- dynamic model
- computer networks
- complex networks
- source code
- fuzzy logic
- mobile robot
- decision making
- neural network