TY - JOUR AU - S. V. Kruglikov TI - On the separation property in a~priori problems of ensured control and estimation. Operator formalization JO - Trudy Instituta matematiki i mehaniki PY - 1998 SP - 267 EP - 276 VL - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TIMM_1998_5_a19/ LA - ru ID - TIMM_1998_5_a19 ER -