Abstract: Effective berth scheduling is fundamental to the productivity of modern maritime terminals, directly impacting port throughput and overall maritime logistics performance. However, addressing ...

In this paper, we present the integration of two problems related to the operations in a port terminal: the Berth Allocation Problem (BAP) integrated with the Machine Assignment Problem. We present a ...

Abstract: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is ...

benchLANG is a reproducible cross-language runtime benchmark comparing 18 languages across prime sieve, recursive Fibonacci, string lookup, Mandelbrot, and binary tree workloads using pinned Nix ...