Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams
Zhang, Y., Bérard, B., Kordon, F., Thierry-Mieg, Y.Volume:
43
Year:
2010
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20100830-3-de-4013.00047
File:
PDF, 438 KB
english, 2010