Characterization of co-observable languages and formulas for their super/sublanguages

Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio. Characterization of co-observable languages and formulas for their super/sublanguages. IEEE Trans. Automat. Contr., 50(4):434-447, 2005. [doi]

Abstract

Abstract is missing.