Showing 2026Show all
2 papers · 1 filter
cs.LO2026
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…
cs.RO2026
Resource-Constrained Robotic Planning in the face of Mixed Uncertainty
Yihao Yin, Pian Yu, Andrea Turrini +3
Robots operate under significant uncertainty, from quantifiable noise to unquantifiable unknowns, and must account for strict operational constraints, such as limited resources. In…