TY  - RPRT
TI  - Termination analysis with interpolation-based transition invariant generation
AU  - Konstantin Britikov
AU  - Martin Blicha
AU  - Grigory Fedyukovich
AU  - Natasha Sharygina
PY  - 2026
UR  - https://arxiv.org/abs/2608.08857
ID  - 2608.08857
ER  -