Can we ever really trust algorithms to make decisions for us? Previous research has proved these programs can reinforce society’s harmful biases, but the problems go beyond that. A new study shows how ...
The research area "Formal Methods and Algorithmics" (ForMAl) consists of the three working groups "Software Development and Verification", "Safety-Critical Systems" and "Efficient Algorithms and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results