.png&blockId=28bce604-fa48-4c8a-ae29-f39730bb63a0)
1.
Provable vs Certifiable
•
A provable system (or a system that is provably safe) is focused on the mathematical correctness of the algorithm or model. So you need the theorem and proof.
•
A certifiably safe system (or a system that is certifiably safe) is focused on the verifiability of the safety claim by an external monitor. People often use it to wrap "un-provable" systems (like Neural Networks).
•
But both terms are used interchangeably.
Misc
1.
IJRR Keywords:
•
Omg, why the IJRR keywords are not paste-able from the homepage? Here are the full IJRR keywords. You’re welcome
Keywords