Supremal and Maximal Sublanguages Arising in Supervisor Synthesis Problems with Partial Observations

Hangju Cho, Steven I. Marcus. Supremal and Maximal Sublanguages Arising in Supervisor Synthesis Problems with Partial Observations. Theory Comput. Syst., 22(3):177-211, 1989.

Abstract

Abstract is missing.