Robust verification analysis

این ارزیابی خطای خطی شامل داده های خودکار، داده ها و متخصص را شامل عدم اطمینان برای هر دو راه حل خود و نظم همگرایی می کند. روش ما نتایج با کیفیت بالا را برای موارد خوبی انجام می دهد که نسبتا سازگار با عملکرد موجود است. این روش همچنین می تواند نتایج قابل اعتماد را برای شرایط بد رفتار مبتنی بر قضاوت متخصص مناسب ارائه دهد. ما روش را نشان می دهیم و نتایج را با رویکردهای استاندارد مورد استفاده برای هر کدام و تأیید راه حل برای شبیه سازی رفتارهای خوب و بد رفتار مقایسه می کنیم.