Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives

Can Zhou, Yulong Gao, Pian Yu

Synthesising autonomous agents that can navigate uncertain environments while adhering to complex temporal constraints remains a fundamental challenge. While Linear Temporal Logic…