Pages that link to "Item:Q1788694"
From MaRDI portal
The following pages link to Characterizations and effective computation of supremal relatively observable sublanguages (Q1788694):
Displaying 6 items.
- Approximation of sets of superwords by \(L\)-language formulas (Q941189) (← links)
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation (Q1108988) (← links)
- The infimal prefix-closed and observable superlanguage of a given language (Q1814432) (← links)
- On computation of supremal controllable, normal sublanguages (Q2504587) (← links)
- New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage (Q4566940) (← links)
- Characterization of co-observable languages and formulas for their super/sublanguages (Q5274029) (← links)