Conceptos Básicos
既存の修復技術は、以前の正しい振る舞いを保持しないため、新しいリスクを導入する。ISARアルゴリズムはこの問題に対処し、成功した初期状態を守りながら追加の修復を行う。
Estadísticas
Case studies on an Unmanned Underwater Vehicle (UUV) and OpenAI Gym Mountain Car (MC) show that ISAR repairs 81.4% and 23.5% of broken state spaces, respectively.
The average signal temporal logic (STL) robustnesses of the ISAR repaired controllers are larger than those of the controllers repaired using baseline methods.
Citas
"The repair may break previously correct scenarios, introducing new risks that may not be accounted for."
"Our approach is to preserve what is already correct while repairing as many other scenarios as possible."