Zinchenko, S. M.; Nosov, P. S.; Popovych, I. S.; Носов, П. С.; Зінченко, С. М.; Прокопчук, Ю. А.; Попович, І. С.; Литовченко, В. І.; Зинченко, С. М.; Попович, И. С.; Литовченко, В. И.
(2021)
The study is aimed at conducting a formal analysis of algorithms for captains to apply when planning routes in difficult navigation situations. Formal and algorithmic analysis based on decision trees made it possible to ...