Pages that link to "Item:Q5266687"
From MaRDI portal
The following pages link to Deciding co-observability is pspace-complete (Q5266687):
Displayed 4 items.
- Diagnosis of discrete event systems using decentralized architectures (Q884759) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- PSPACE-completeness of modular supervisory control problems (Q1773103) (← links)