Volume: Vol-4239 NMR 2026 | Year: 2026

Paper: « paper-Flaminio-9 | paper-Gaiser-1 | paper-Gierasimczuk-19 »

Constructive Preference Relations: Navigating Undecidability in Rational LTL Contraction

• Hannes Gaißer
• Dominik Klumpp
• Jandson S Ribeiro

PDF