Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.
Corina S. PasareanuDimitra GiannakopoulouMihaela Gheorghiu BobaruJamieson M. CobleighHoward BarringerPublished in: Formal Methods Syst. Des. (2008)
Keyphrases
- learning algorithm
- worst case
- experimental evaluation
- dynamic programming
- computational cost
- np hard
- learning speed
- learning phase
- preprocessing
- learning systems
- times faster
- segmentation algorithm
- matching algorithm
- k means
- search space
- noise tolerant
- learning tasks
- incremental learning
- detection algorithm
- improved algorithm
- theoretical analysis
- significant improvement
- particle swarm optimization
- expectation maximization
- knowledge acquisition
- online learning
- high accuracy
- clustering method
- probabilistic model
- cost function
- prior knowledge
- computational complexity
- optimal solution
- objective function
- image segmentation
- data sets