Pages that link to "Item:Q1902499"
From MaRDI portal
The following pages link to On control of systems modelled as deterministic Rabin automata (Q1902499):
Displaying 6 items.
- Control of \(\omega\)-automata under state fairness assumptions (Q1128704) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Using logic to solve the submodule construction problem (Q2377376) (← links)
- Supervisory Control with Complete Observations (Q5496921) (← links)
