We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. Th...
A formalism will be presented in this paper which makes it possible to realise the idea of assigning only one scope-ambiguous representation to a sentence that is ambiguous with r...
The proposed approach works for any underlying secret sharing scheme. It is based on the concept of verification sets of participants, related to authorized set of participants. T...
: An object detection method based on the motion stereo technique is proposed, which works by the fusion of millimeter wave radar and a single video camera. The method does not dep...
Working within the decision-theoretic framework for causal inference, we study the properties of "sufficient covariates", which support causal inference from observation...