Общие подходы к доказательству безопасности автономных систем

Автоматика, связь, информатика. 2022. № 1. С. 2-9.
Розенберг Е.Н., Попов П.А., Талалаев Д.В., Ольшанский А.М., Бояринова Н.А.
Общие подходы к доказательству безопасности автономных систем