TY  - RPRT
TI  - Constructive Preference Relations: Navigating Undecidability in Rational LTL Contraction
AU  - Hannes Gaißer
AU  - Dominik Klumpp
AU  - Jandson S. Ribeiro
PY  - 2026
UR  - https://arxiv.org/abs/2606.16957
ID  - 2606.16957
ER  -