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,
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)
Workshop Papers:
X. Schuler,
J. Eisenhut,
D. Höller,
D. Fišer,
and J. Hoffmann,
Action Policy Testing with Heuristic-Based Bias Functions,
Proceedings of the Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS'23), at ICAPS'23. (PDF)
