@misc{KratzEtAl25,author={Kratz, Maximilian and Zschaler, Steffen and Kosiol, Jens and Taentzer, Gabriele},title={Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision},year={2025},eprint={2510.02002},archiveprefix={arXiv},primaryclass={cs.SE},url={https://arxiv.org/abs/2510.02002},}