Jan Eisenhut

According to our database, Jan Eisenhut authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

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