RUS  ENG
Full version
JOURNALS // Avtomatika i Telemekhanika // Archive

Avtomat. i Telemekh., 2023 Issue 12, Pages 49–63 (Mi at16243)

This article is cited in 1 paper

Topical issue

Models and methods for verifying the accessibility and feasibility of goals and plans in large-scale systems by example for the elimination of consequences floods

A. D. Tsvirkuna, A. F. Rezchikova, V. A. Kushnikovb, O. I. Drankoa, A. S. Bogomolovb, A. D. Selyutinb

a V. A. Trapeznikov Institute of Control Sciences of Russian Academy of Sciences, Moscow
b Federal Research Center "Computer Science and Control" of Russian Academy of Sciences, Moscow

Presented by the member of Editorial Board: A. I. Mikhal'skii

Received: 26.05.2023
Revised: 18.09.2023
Accepted: 30.09.2023

DOI: 10.31857/S000523102312005X



© Steklov Math. Inst. of RAS, 2024