With increase in the applications of autonomous systems, in both civilian and military domains, it has become increasingly important to provide formal ...