في مدينة تظهر وتختفي فيها المناطق الخطرة بشكل عشوائي، يحاول ملاح خبيث باستمرار إيقاعك في الفخ. هذا الخصم غير المتوقع يعمل عند كل مفترق طرق. ولكن الإطار الرياضي الشامل يحسب كل الحيل الممكنة ويرسم طريقًا يضمن السلامة حتى في ظل التداخلات القوية.
تم تطبيق المبدأ نفسه على جرعات الأدوية. جسم المريض، مثل ذلك الملاح العدائي، يمتص الدواء بطرق مختلفة، مما يهدد بدفع التركيز إلى منطقة الخطر. لكن الطريقة تحسب الجرعات بحيث يبقى العلاج فعالًا في أسوأ السيناريوهات.
كما كتبه المؤلفون، بالإنجليزية 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.
أولى اختبارات الطريقة لم تكن في مستشفى، بل في تقاطعات شوارع افتراضية — حيث دُرّبت الخوارزمية على إنقاذ المشاة من السائقين المتهورين.