Markov chain analysis is a key technique in formal verification. A practical obstacle is that all
probabilities in Markov models need to be known. However, system quantities such as …

We consider a problem from biological network analysis of determining regions in a
parameter space over which there are multiple steady states for positive real values of …

We present a symbolic algorithmic approach that allows to compute invariant manifolds and
corresponding reduced systems for differential equations modeling biological networks …

Quantifier elimination constitutes an interesting computational approach in computer
algebra already successfully applied to several disciplines. Here we apply this approach to …

The rather recent interesting computational method of quantifier elimination already
implemented in four computer algebra systems has been already used in many problems of …

This paper accompanies a new dataset of non-linear real arithmetic problems for the SMT-
LIB benchmark collection. The problems come from an automated proof procedure of …

Ben-Haim's info-gap (or information-gap) decision theory (IGDT) constitutes a very
interesting and popular method for the study of problems in engineering and in many other …

Quantifier elimination for real variables constitutes an interesting computational tool with
efficient implementations in some popular computer algebra systems and many applications …

The method of quantifier elimination with implementations in some computer algebra
systems already proved useful for the computation of both the robustness and the …

Problems under uncertainty appear frequently in practical applications. Ben-Haim's IGDT
(info-gap decision theory) constitutes a very efficient method for the study of such problems …