Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim's info-gap model of uncertainty
The method of quantifier elimination with implementations in some computer algebra systems already proved useful for the computation of both the robustness and the opportuneness (or opportunity) functions in Ben-Haim's info-gap (or information-gap) model of uncertainty. As is well known, this m...
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | |
Γλώσσα: | English |
Έκδοση: |
Κανένας
2021
|
Θέματα: | |
Διαθέσιμο Online: | http://hdl.handle.net/10889/15680 |