I am a PhD student at the chair of Prof. Jörg Hoffmann in the Computer
Science department at Saarland University.
My current research deals with action policy testing.
Publications:
Conference Papers:
J. Eisenhut,
D. Fišer,
I. Valera,
J. Hoffmann,
On Picking Good Policies: Leveraging Action-Policy Testing in Policy Training,
Proceedings of the 35th International Conference on Automated Planning and Scheduling (ICAPS'25), 2025.
J. Eisenhut,
A. Torralba,
M. Christakis,
and J. Hoffmann,
Automatic Metamorphic Test Oracles for Action-Policy Testing,
Proceedings of the 33rd International Conference on Automated Planning and Scheduling (ICAPS'23), 2023. (PDF)
D. Gnad,
J. Eisenhut,
A. Lluch Lafuente, and
J. Hoffmann,
Model Checking ω-Regular Properties with Decoupled Search,
Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV'21), 2021. (PDF)