Foundations of Artificial Intelligence (FAI) Group

Jan Eisenhut

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, X. Schuler, D. Fišer, D. Höller, M. Christakis, and J. Hoffmann, New Fuzzing Biases for Action Policy Testing, Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS'24), 2024. (PDF)

• 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)