Towards Deriving Incremental Optimization Problems from Batch Specifications of ROAs

ROAR-Net Cost Action Short-Term Scientific Mission
Funded by COST Action Short Term Scientific Mission award.

Towards Deriving Incremental Optimization Problems from Batch Specifications of ROAs is a short-term scientific mission funded by COST Action ROAR-Net supporting the visit of Maximilian Kratz at King’s to study how model-driven techniques can be used to translate optimisation problems into an equivalent problem for minimum-perturbation re-planning (incremental optimisation.)

Project team members

Maximilian Kratz

Max and I collaborated around model-driven optimisation, especially around the GIPS tool Max is working on.

Researcher

References

Miscellaneous

2025

arXiv

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision

Maximilian Kratz, Steffen Zschaler, Jens Kosiol, and 1 more author

2025

Bib HTML

@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},
}