@misc{indiciaef259e9c48148,
  title = {[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata},
  author = {Kuize Zhang and Xiaoguang Han and Alessandro Giua and Carla Seatzu},
  year = {2025},
  url = {https://arxiv.org/abs/2408.06141},
  note = {Source identifier: 2408.06141}
}