Search results
IEEE Transactions on Automatic Control > 2016 > 61 > 11 > 3285 - 3300
Formal Methods in Computer Aided Design > 151 - 158
Proceedings of the 2010 American Contrl Conference > 1562 - 1567
2008 Fourth International Conference on Natural Computation > 1 > 289 - 293