TY - GEN T1 - On separation of convex sets and reachability criteria in control theory A1 - Vinter, R. UL - http://buscaintegrada.pucsp.br/vufind/Record/125745 KW - Ciência da computação ER -