Compositional Abstraction Refinement for Component-Based Systems.

Lianyi Zhang Qingdi Meng Kueiming Lo

Published in: J. Appl. Math. (2014)

Keyphrases

management system
distributed systems
search algorithm
complex systems
machine learning
feature selection
reinforcement learning
building blocks