COMPLEX AUTONOMOUS REAL-TIME SYSTEMS SUCH AS ROBOTS ROVERS SATELLITES AND UNMANNED AERIAL SYSTEMS (UAS) MUST OPERATE RELIABLY FOR EXTENDED PERIODS WITHOUT HUMAN INTERVENTION. RUNTIME VERIFICATION IS A FAMILY OF TECHNIQUES THAT ENABLE SUCH SYSTEMS