Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
Abstract-- We consider a wireless system with a small number of delay constrained users and a larger number of users without delay constraints. We develop a scheduling algorithm th...
An iterative framework for solving generalized equations with nonisolated solutions is presented. For generalized equations with the structure 0 F(z) + T (z), where T is a multifu...
This paper concerns the filtering problem for a class of stochastic nonlinear systems where the drift term may depend either on some external function (open-loop system) or on the ...
Francesco Carravetta, Alfredo Germani, Robert Sh. ...