Models and Methods for Checking the Attainability of Goals and Feasibility of Plans in Large-Scale Systems Using the Example of Goals and Plans for Elimination of the Consequences of Flood. - Anatolii D. Tsvirkun; Alexander F. Rezchikov; Vadim A. Kushnikov; Oleg I. Dranko; Aleksey S. Bogomolov; Aleksandr D. Selyutin (Autom. Remote. Control., 2023)