TY - RPRT TI - [Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata AU - Kuize Zhang AU - Xiaoguang Han AU - Alessandro Giua AU - Carla Seatzu PY - 2025 UR - https://arxiv.org/abs/2408.06141 ID - 2408.06141 ER -