Jan Eisenhut

According to our database, Jan Eisenhut authored at least 6 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

Is This a Good Decision? Action Optimality Checking in Classical Planning.

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

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

An Operator-Centric Trustable Decision-Making Tool for Planning Ground Logistic Operations of Beluga Aircraft.

Rebecca Eifler, Nika Beriachvili, Arthur Bit-Monnot, Dillon Z. Chen, Jan Eisenhut, Jörg Hoffmann, Sylvie Thiébaux, Florent Teichteil-Königsbuch

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 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