Αποστολή με SMS: Application of quantifier elimination to robust reliability under severe uncertainty conditions by using the info-gap decision theory (IGDT)