A B C D E F G H I-J K L M N-O P Q-R S T-V W X-Z
close this section of the libraryS. Edelkamp
View the documentS. Edelkamp Taming Numbers and Durations in the Model Checking Integrated Planning System - S. Edelkamp
View the documentS. Edelkamp Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4 - J. Hoffmann, S. Edelkamp, S. Thiebaux, R. Englert, F. Liporace and S. Trueg
View the documentS. Edelkamp The Deterministic Part of IPC-4: An Overview - J. Hoffmann and S. Edelkamp