AIConfPaper
← Search

Clemens Dubslaff

2 accepted papers

2023

A Unifying Formal Approach to Importance Values in Boolean Functions

Hans Harder, Simon Jantsch, Christel Baier, Clemens Dubslaff
IJCAI 2023poster

Boolean functions and their representation through logics, circuits, machine learning classifiers, or binary decision diagrams (BDDs) play a central role in the design and analysis of computing systems. Quantifying the relative impact of variables on the truth value by means of importance values can…

Cited by 6Source ↗PDF ↗code ↗Scholar ↗
2023

More for Less: Safe Policy Improvement with Stronger Performance Guarantees

Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
IJCAI 2023poster

In an offline reinforcement learning setting, the safe policy improvement (SPI) problem aims to improve the performance of a behavior policy according to which sample data has been generated. State-of-the-art approaches to SPI require a high number of samples to provide practical probabilistic guar…

Cited by 6Source ↗PDF ↗code ↗Scholar ↗