Quantified real constraint solving using modal intervals with applications to control

Tesis doctoral de Pau Herrero Viñas Una restricción real cuantificada, quantified real constraint (qrc) en inglés, es un formalismo matemático […]

, , , , ,