Application of quantifier elimination to robust reliability under severe uncertainty conditions by using the info-gap decision theory (IGDT) - Ioakimidis, Nikolaos (Αυτο-έκδοση, 2021)