Automated controllability and synthesis with hierarchical set decision diagrams.

Yan Zhang Béatrice Bérard Fabrice Kordon Yann Thierry-Mieg

Published in: WODES (2010)

Keyphrases

feature space