Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
arXiv:2605.12581v1 Announce Type: cross
Abstract: 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 rigo…