Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua: Logical and probabilistic aspects of state estimation for Markovian systems. CDC 2023: 6929-6935