Patrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune. Efficient computation of observer projections using OP-verifiers. In Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor, editors, 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. pages 406-411, International Federation of Automatic Control, 2010. [doi]
Abstract is missing.