@techreport{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},howpublished={Technical Report, arXiv:2510.02002 [cs.SE]},institution={arXiv},number={arXiv:2510.02002},url={https://arxiv.org/abs/2510.02002},}