V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems.
Anna LukinaPublished in: AAAI (2017)
Keyphrases
- computational cost
- experimental evaluation
- learning algorithm
- matching algorithm
- dynamic programming
- improved algorithm
- theoretical analysis
- computational complexity
- intelligent systems
- recognition algorithm
- worst case
- high accuracy
- distributed systems
- linear programming
- detection algorithm
- optimal solution
- k means
- management system
- search space
- expectation maximization
- preprocessing
- path planning
- estimation algorithm
- convex hull
- optimization algorithm
- computationally efficient
- np hard
- cost function
- evolutionary algorithm
- objective function
- bayesian networks
- similarity measure