Jan Eisenhut

According to our database, Jan Eisenhut authored at least 4 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Code and Data for "Is This a Good Decision? Action Optimality Checking in Classical Planning".

Jan Eisenhut, Daniel Fiser, Wheeler Ruml, Jörg Hoffmann

Dataset, August, 2025

2024

New Fuzzing Biases for Action Policy Testing.

Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Höller, Maria Christakis, Jörg Hoffmann

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2023

Automatic Metamorphic Test Oracles for Action-Policy Testing.

Jan Eisenhut, Álvaro Torralba, Maria Christakis, Jörg Hoffmann

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2021

Model Checking ømega-Regular Properties with Decoupled Search.

Daniel Gnad, Jan Eisenhut, Alberto Lluch-Lafuente, Jörg Hoffmann

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021