Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
DGX agentarXiv:2605.12581v1 Announce Type: cross Abstract: Synthesising autonomous agents that can navigate uncertain environments while adhering to complex temporal constraints remains a fundamental challenge