В городе, где опасные районы хаотично возникают и исчезают, злобный навигатор постоянно пытается завести вас в ловушку. Этот непредсказуемый противник действует на каждом перекрёстке. Однако математический универсальный каркас просчитывает все возможные уловки и прокладывает путь, гарантирующий безопасность даже при сильных помехах.
Тот же принцип применили к дозировке лекарств. Организм пациента, словно тот враждебный навигатор, по-разному усваивает препарат, грозя увести концентрацию в опасную зону. Метод же рассчитывает дозы так, чтобы лечение оставалось эффективным при наихудшем сценарии.
как её написали авторы, на английском arXiv:2607.14023
Hamilton-Jacobi Reachability (HJR) is a central framework in safe control theory. While HJR has traditionally focused on a few fundamental tasks, there is increasing interest in scaling to more complex objectives. Recent works have studied the exact decomposition of the value functions for two fundamental dual-objective tasks in the adversary-free setting. However, not all value function decompositions in HJR remain valid with an adversary. In this work, we develop theoretical approaches to certify that for these two composite value functions, the proposed decompositions still hold with an adversary. Finally, we show how these results can solve issues that arise when applying HJR to optimal drug regimen design.
Первые испытания метода прошли не в больнице, а на виртуальных уличных перекрёстках — алгоритм учили спасать пешеходов от лихачей.