2026
Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
IJCAI 2026
Synthesising autonomous agents that can navigate uncertain environments while adhering to complex temporal constraints remains a fundamental challenge. While Linear Temporal Logic (LTL) provides a rigorous language for specifying such tasks, the inherent undecidability of qualitatively verifying LTL