Jantsch, Simon

1 publications

IJCAI 2023 A Unifying Formal Approach to Importance Values in Boolean Functions Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff