OpenAlex
New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage
Work