Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
تقدم هذه الورقة إطار عمل لتحسين مجموع المربعات لتخليق شهادات الوصول-التجنب المتغيرة واللا-متغيرة زمنياً للتحقق من السلامة وتعظيم احتمالات الوصول إلى الهدف للأنظمة العشوائية ذات الزمن المنفصل مع فضاءات حالة وفعل مستمرة.